src/Tools/Code/code_ml.ML
changeset 37447 ad3e04f289b6
parent 37446 fc55011cfdfd
child 37449 034ebe92f090
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Jun 17 10:57:00 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Jun 17 11:33:04 2010 +0200
     1.3 @@ -40,7 +40,7 @@
     1.4    | ML_Val of ml_binding
     1.5    | ML_Funs of ml_binding list * string list
     1.6    | ML_Datas of (string * ((vname * sort) list * (string * itype list) list)) list
     1.7 -  | ML_Class of string * (vname * (((class * string) list * (class * string) list) * (string * itype) list));
     1.8 +  | ML_Class of string * (vname * ((class * string) list * (string * itype) list));
     1.9  
    1.10  fun stmt_name_of_binding (ML_Function (name, _)) = name
    1.11    | stmt_name_of_binding (ML_Instance (name, _)) = name;
    1.12 @@ -301,7 +301,7 @@
    1.13              sig_ps
    1.14              (Pretty.chunks (ps @| semicolon [p]))
    1.15            end
    1.16 -     | print_stmt (ML_Class (class, (v, ((super_classes, _), classparams)))) =
    1.17 +     | print_stmt (ML_Class (class, (v, (super_classes, classparams)))) =
    1.18            let
    1.19              fun print_field s p = concat [str s, str ":", p];
    1.20              fun print_proj s p = semicolon
    1.21 @@ -635,7 +635,7 @@
    1.22              sig_ps
    1.23              (Pretty.chunks (ps @| doublesemicolon [p]))
    1.24            end
    1.25 -     | print_stmt (ML_Class (class, (v, ((super_classes, _), classparams)))) =
    1.26 +     | print_stmt (ML_Class (class, (v, (super_classes, classparams)))) =
    1.27            let
    1.28              fun print_field s p = concat [str s, str ":", p];
    1.29              fun print_super_class_field (super_class, classrel) =