src/Tools/Code/code_target.ML
changeset 39142 f63715f00fdd
parent 39102 4ae1d212100f
child 39480 a2ed61449dcc
     1.1 --- a/src/Tools/Code/code_target.ML	Sat Sep 04 21:10:39 2010 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Sat Sep 04 21:10:48 2010 +0200
     1.3 @@ -105,7 +105,8 @@
     1.4         Symtab.join (K snd) (const1, const2))
     1.5    );
     1.6  
     1.7 -type serializer = Token.T list (*arguments*) -> {
     1.8 +type serializer = Token.T list
     1.9 +  -> {
    1.10      labelled_name: string -> string,
    1.11      reserved_syms: string list,
    1.12      includes: (string * Pretty.T) list,
    1.13 @@ -113,8 +114,7 @@
    1.14      class_syntax: string -> string option,
    1.15      tyco_syntax: string -> Code_Printer.tyco_syntax option,
    1.16      const_syntax: string -> Code_Printer.activated_const_syntax option,
    1.17 -    program: Code_Thingol.program,
    1.18 -    names: string list }
    1.19 +    program: Code_Thingol.program }
    1.20    -> serialization;
    1.21  
    1.22  datatype description = Fundamental of { serializer: serializer,
    1.23 @@ -321,8 +321,7 @@
    1.24        class_syntax = Symtab.lookup class_syntax,
    1.25        tyco_syntax = Symtab.lookup tyco_syntax,
    1.26        const_syntax = Symtab.lookup const_syntax,
    1.27 -      program = program,
    1.28 -      names = names }
    1.29 +      program = program }
    1.30    end;
    1.31  
    1.32  fun mount_serializer thy target some_width module_name args naming proto_program names =