src/Tools/code/code_printer.ML
changeset 28690 fc51fa5efea1
parent 28663 bd8438543bf2
child 28708 a1a436f09ec6
     1.1 --- a/src/Tools/code/code_printer.ML	Fri Oct 24 17:51:35 2008 +0200
     1.2 +++ b/src/Tools/code/code_printer.ML	Fri Oct 24 17:51:36 2008 +0200
     1.3 @@ -33,7 +33,6 @@
     1.4    type iterm = Code_Thingol.iterm
     1.5    type const = Code_Thingol.const
     1.6    type dict = Code_Thingol.dict
     1.7 -  type class_syntax
     1.8    type tyco_syntax
     1.9    type const_syntax
    1.10    val parse_infix: ('a -> 'b) -> lrx * int -> string
    1.11 @@ -125,7 +124,6 @@
    1.12  
    1.13  (* generic syntax *)
    1.14  
    1.15 -type class_syntax = string * (string -> string option);
    1.16  type tyco_syntax = int * ((fixity -> itype -> Pretty.T)
    1.17    -> fixity -> itype list -> Pretty.T);
    1.18  type const_syntax = int * ((Code_Name.var_ctxt -> fixity -> iterm -> Pretty.T)