1.1 --- a/src/Tools/Code/code_scala.ML Thu Sep 02 10:29:49 2010 +0200
1.2 +++ b/src/Tools/Code/code_scala.ML Thu Sep 02 10:29:50 2010 +0200
1.3 @@ -333,9 +333,8 @@
1.4 let
1.5
1.6 (* build program *)
1.7 - val reserved = fold (insert (op =) o fst) includes reserved_syms;
1.8 val { deresolver, hierarchical_program = sca_program } =
1.9 - scala_program_of_program labelled_name (Name.make_context reserved) module_alias program;
1.10 + scala_program_of_program labelled_name (Name.make_context reserved_syms) module_alias program;
1.11
1.12 (* print statements *)
1.13 fun lookup_constr tyco constr = case Graph.get_node program tyco
1.14 @@ -355,7 +354,7 @@
1.15 of Code_Thingol.Datatypecons (_, tyco) => null (lookup_constr tyco c)
1.16 | _ => false;
1.17 val print_stmt = print_scala_stmt labelled_name tyco_syntax const_syntax
1.18 - (make_vars reserved) args_num is_singleton_constr;
1.19 + (make_vars reserved_syms) args_num is_singleton_constr;
1.20
1.21 (* print nodes *)
1.22 fun print_module base implicit_ps p = Pretty.chunks2