--- a/src/Tools/Code/code_scala.ML Tue Jun 15 11:38:39 2010 +0200
+++ b/src/Tools/Code/code_scala.ML Tue Jun 15 11:38:40 2010 +0200
@@ -334,8 +334,9 @@
|> add_name
|-> (fn base' => rpair (add_stmt base' stmts))
end;
- val (_, sca_program) = fold prepare_stmt (AList.make (fn name => Graph.get_node program name)
- (Graph.strong_conn program |> flat)) (((reserved, reserved), reserved), []);
+ val stmts = AList.make (Graph.get_node program) (Graph.strong_conn program |> flat)
+ |> filter_out (Code_Thingol.is_case o snd);
+ val (_, sca_program) = fold prepare_stmt stmts (((reserved, reserved), reserved), []);
fun deresolver name = (fst o the o AList.lookup (op =) sca_program) name
handle Option => error ("Unknown statement name: " ^ labelled_name name);
in (deresolver, (the_module_name, sca_program)) end;