src/Tools/Code/code_scala.ML
changeset 37439 c72a43a7d2c5
parent 37437 4202e11ae7dc
child 37445 e372fa3c7239
     1.1 --- a/src/Tools/Code/code_scala.ML	Tue Jun 15 11:38:39 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Tue Jun 15 11:38:40 2010 +0200
     1.3 @@ -334,8 +334,9 @@
     1.4          |> add_name
     1.5          |-> (fn base' => rpair (add_stmt base' stmts))
     1.6        end;
     1.7 -    val (_, sca_program) = fold prepare_stmt (AList.make (fn name => Graph.get_node program name)
     1.8 -      (Graph.strong_conn program |> flat)) (((reserved, reserved), reserved), []);
     1.9 +    val stmts = AList.make (Graph.get_node program) (Graph.strong_conn program |> flat)
    1.10 +      |> filter_out (Code_Thingol.is_case o snd);
    1.11 +    val (_, sca_program) = fold prepare_stmt stmts (((reserved, reserved), reserved), []);
    1.12      fun deresolver name = (fst o the o AList.lookup (op =) sca_program) name
    1.13        handle Option => error ("Unknown statement name: " ^ labelled_name name);
    1.14    in (deresolver, (the_module_name, sca_program)) end;