resolving an issue with class instances that are pseudo functions in the OCaml code serializer
authorbulwahn
Thu Jun 09 14:16:12 2011 +0200 (2011-06-09)
changeset 43343e83695ea0e0a
parent 43334 9970a4580d13
child 43344 b017cfb10df4
resolving an issue with class instances that are pseudo functions in the OCaml code serializer
src/Tools/Code/code_ml.ML
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Jun 09 11:57:39 2011 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Jun 09 14:16:12 2011 +0200
     1.3 @@ -575,7 +575,8 @@
     1.4              (concat (
     1.5                str definer
     1.6                :: (str o deresolve) inst
     1.7 -              :: print_dict_args vs
     1.8 +              :: (if is_pseudo_fun inst then [str "()"]
     1.9 +                  else print_dict_args vs)
    1.10                @ str "="
    1.11                @@ brackets [
    1.12                  enum_default "()" ";" "{" "}" (map print_super_instance super_instances