src/Tools/Code/code_scala.ML
changeset 39030 2bb34f36db80
parent 39024 30d5dd2f30b6
child 39034 ebeb48fd653b
     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