# HG changeset patch
# User wenzelm
# Date 908894510 -7200
# Node ID 491944c2fb123ee38f164742caacd32973460a0f
# Parent  5b9a359e083c9e30217ea1401154c8f2132555d1
fixed Syntax module;

diff -r 5b9a359e083c -r 491944c2fb12 src/HOLCF/cont_consts.ML
--- a/src/HOLCF/cont_consts.ML	Tue Oct 20 16:39:14 1998 +0200
+++ b/src/HOLCF/cont_consts.ML	Tue Oct 20 16:41:50 1998 +0200
@@ -34,8 +34,8 @@
   |   argnames c n = chr c::argnames (c+1) (n-1);
   val vnames = argnames (ord "A") n;
   val extra_parse_rule = Syntax.ParseRule (Constant name2, Constant name1);
-  in [Syntax.ParsePrintRule (Ast.mk_appl (Constant name2) (map Variable vnames),
-			  foldl (fn (t,arg) => (Ast.mk_appl (Constant "Rep_CFun") 
+  in [Syntax.ParsePrintRule (Syntax.mk_appl (Constant name2) (map Variable vnames),
+			  foldl (fn (t,arg) => (Syntax.mk_appl (Constant "Rep_CFun") 
 						[t,Variable arg]))
 			  (Constant name1,vnames))]
      @(case mx of InfixlName _ => [extra_parse_rule] 
diff -r 5b9a359e083c -r 491944c2fb12 src/HOLCF/domain/syntax.ML
--- a/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:39:14 1998 +0200
+++ b/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:41:50 1998 +0200
@@ -45,7 +45,7 @@
 	in implode o esc o Symbol.explode end;
   fun con (name,s,args) = (name,foldr (op ->>) (map third args,dtype),s);
   fun dis (con ,s,_   ) = (dis_name_ con, dtype->>trT,
-			   Mixfix(escape ("is_" ^ con), [], max_pri));
+			   Mixfix(escape ("is_" ^ con), [], Syntax.max_pri));
 			(* stricly speaking, these constants have one argument,
 			   but the mixfix (without arguments) is introduced only
 			   to generate parse rules for non-alphanumeric names*)