fixed Syntax module;
authorwenzelm
Tue Oct 20 16:41:50 1998 +0200 (1998-10-20)
changeset 5700491944c2fb12
parent 5699 5b9a359e083c
child 5701 e57980ec351b
fixed Syntax module;
src/HOLCF/cont_consts.ML
src/HOLCF/domain/syntax.ML
     1.1 --- a/src/HOLCF/cont_consts.ML	Tue Oct 20 16:39:14 1998 +0200
     1.2 +++ b/src/HOLCF/cont_consts.ML	Tue Oct 20 16:41:50 1998 +0200
     1.3 @@ -34,8 +34,8 @@
     1.4    |   argnames c n = chr c::argnames (c+1) (n-1);
     1.5    val vnames = argnames (ord "A") n;
     1.6    val extra_parse_rule = Syntax.ParseRule (Constant name2, Constant name1);
     1.7 -  in [Syntax.ParsePrintRule (Ast.mk_appl (Constant name2) (map Variable vnames),
     1.8 -			  foldl (fn (t,arg) => (Ast.mk_appl (Constant "Rep_CFun") 
     1.9 +  in [Syntax.ParsePrintRule (Syntax.mk_appl (Constant name2) (map Variable vnames),
    1.10 +			  foldl (fn (t,arg) => (Syntax.mk_appl (Constant "Rep_CFun") 
    1.11  						[t,Variable arg]))
    1.12  			  (Constant name1,vnames))]
    1.13       @(case mx of InfixlName _ => [extra_parse_rule] 
     2.1 --- a/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:39:14 1998 +0200
     2.2 +++ b/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:41:50 1998 +0200
     2.3 @@ -45,7 +45,7 @@
     2.4  	in implode o esc o Symbol.explode end;
     2.5    fun con (name,s,args) = (name,foldr (op ->>) (map third args,dtype),s);
     2.6    fun dis (con ,s,_   ) = (dis_name_ con, dtype->>trT,
     2.7 -			   Mixfix(escape ("is_" ^ con), [], max_pri));
     2.8 +			   Mixfix(escape ("is_" ^ con), [], Syntax.max_pri));
     2.9  			(* stricly speaking, these constants have one argument,
    2.10  			   but the mixfix (without arguments) is introduced only
    2.11  			   to generate parse rules for non-alphanumeric names*)