src/HOLCF/domain/syntax.ML
changeset 5700 491944c2fb12
parent 5291 5706f0ef1d43
child 9060 b0dd884b1848
     1.1 --- a/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:39:14 1998 +0200
     1.2 +++ b/src/HOLCF/domain/syntax.ML	Tue Oct 20 16:41:50 1998 +0200
     1.3 @@ -45,7 +45,7 @@
     1.4  	in implode o esc o Symbol.explode end;
     1.5    fun con (name,s,args) = (name,foldr (op ->>) (map third args,dtype),s);
     1.6    fun dis (con ,s,_   ) = (dis_name_ con, dtype->>trT,
     1.7 -			   Mixfix(escape ("is_" ^ con), [], max_pri));
     1.8 +			   Mixfix(escape ("is_" ^ con), [], Syntax.max_pri));
     1.9  			(* stricly speaking, these constants have one argument,
    1.10  			   but the mixfix (without arguments) is introduced only
    1.11  			   to generate parse rules for non-alphanumeric names*)