--- a/src/HOLCF/cont_consts.ML Mon Oct 01 21:53:50 2001 +0200
+++ b/src/HOLCF/cont_consts.ML Tue Oct 02 20:23:33 2001 +0200
@@ -38,7 +38,8 @@
foldl (fn (t,arg) => (Syntax.mk_appl (Constant "Rep_CFun")
[t,Variable arg]))
(Constant name1,vnames))]
- @(case mx of InfixlName _ => [extra_parse_rule]
+ @(case mx of InfixName _ => [extra_parse_rule]
+ | InfixlName _ => [extra_parse_rule]
| InfixrName _ => [extra_parse_rule] | _ => []) end;
@@ -48,7 +49,9 @@
declaration with the original name, type ...=>..., and the original mixfix
is generated and connected to the other declaration via some translation.
*)
-fun fix_mixfix (syn , T, mx as Infixl p ) =
+fun fix_mixfix (syn , T, mx as Infix p ) =
+ (Syntax.const_name syn mx, T, InfixName (syn, p))
+ | fix_mixfix (syn , T, mx as Infixl p ) =
(Syntax.const_name syn mx, T, InfixlName (syn, p))
| fix_mixfix (syn , T, mx as Infixr p ) =
(Syntax.const_name syn mx, T, InfixrName (syn, p))