tuned
authorhaftmann
Sun Feb 23 10:33:43 2014 +0100 (2014-02-23)
changeset 55682def6575032df
parent 55681 7714287dc044
child 55683 5732a55b9232
tuned
src/Tools/Code/code_ml.ML
     1.1 --- a/src/Tools/Code/code_ml.ML	Sun Feb 23 10:33:43 2014 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Sun Feb 23 10:33:43 2014 +0100
     1.3 @@ -658,8 +658,8 @@
     1.4                (concat o map str) ["let", deresolve_const classparam, w, "=",
     1.5                  w ^ "." ^ deresolve_const classparam ^ ";;"];
     1.6              val type_decl_p = concat [
     1.7 -                str ("type '" ^ v),
     1.8 -                (str o deresolve_class) class,
     1.9 +                str "type",
    1.10 +                print_dicttyp (class, ITyVar v),
    1.11                  str "=",
    1.12                  enum_default "unit" ";" "{" "}" (
    1.13                    map print_super_class_field classrels