more abstract syntax passing
authorhaftmann
Sat Jan 25 23:50:49 2014 +0100 (2014-01-25)
changeset 55146525309c2e4ee
parent 55145 2bb3cd36bcf7
child 55147 bce3dbc11f95
more abstract syntax passing
src/Tools/Code/code_target.ML
     1.1 --- a/src/Tools/Code/code_target.ML	Sat Jan 25 23:50:49 2014 +0100
     1.2 +++ b/src/Tools/Code/code_target.ML	Sat Jan 25 23:50:49 2014 +0100
     1.3 @@ -356,7 +356,7 @@
     1.4        (Code_Symbol.dest_class_instance_data printings);
     1.5    in
     1.6      (names_const @ names_tyco @ names_class @ names_inst,
     1.7 -      (const_syntax, tyco_syntax, class_syntax))
     1.8 +      (Symtab.lookup const_syntax, Symtab.lookup tyco_syntax, Symtab.lookup class_syntax))
     1.9    end;
    1.10  
    1.11  fun project_program thy names_hidden names1 program2 =
    1.12 @@ -392,9 +392,9 @@
    1.13        reserved_syms = reserved,
    1.14        identifiers = identifiers,
    1.15        includes = includes,
    1.16 -      const_syntax = Symtab.lookup const_syntax,
    1.17 -      tyco_syntax = Symtab.lookup tyco_syntax,
    1.18 -      class_syntax = Symtab.lookup class_syntax },
    1.19 +      const_syntax = const_syntax,
    1.20 +      tyco_syntax = tyco_syntax,
    1.21 +      class_syntax = class_syntax },
    1.22        program)
    1.23    end;
    1.24