src/HOLCF/domain/syntax.ML
changeset 9060 b0dd884b1848
parent 5700 491944c2fb12
child 12030 46d57d0290a2
     1.1 --- a/src/HOLCF/domain/syntax.ML	Tue Jun 13 18:33:55 2000 +0200
     1.2 +++ b/src/HOLCF/domain/syntax.ML	Tue Jun 13 18:34:59 2000 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4  	fun argvar n m _ = Variable ("a"^(string_of_int n)^"_"^
     1.5  					 (string_of_int m));
     1.6  	fun app s (l,r)   = mk_appl (Constant s) [l,r];
     1.7 -	fun case1 n (con,mx,args) = mk_appl (Constant "@case1")
     1.8 +	fun case1 n (con,mx,args) = mk_appl (Constant "_case1")
     1.9  		 [foldl (app "Rep_CFun") (c_ast con mx, (mapn (argvar n) 1 args)),
    1.10  		  expvar n];
    1.11  	fun arg1 n (con,_,args) = if args = [] then expvar n 
    1.12 @@ -78,8 +78,8 @@
    1.13  		 [foldr' (app "_idts") (mapn (argvar n) 1 args) , expvar n];
    1.14    in
    1.15      ParsePrintRule
    1.16 -      (mk_appl (Constant "@case") [Variable "x", foldr'
    1.17 -				(fn (c,cs) => mk_appl (Constant"@case2") [c,cs])
    1.18 +      (mk_appl (Constant "_case_syntax") [Variable "x", foldr'
    1.19 +				(fn (c,cs) => mk_appl (Constant"_case2") [c,cs])
    1.20  				 (mapn case1 1 cons')],
    1.21         mk_appl (Constant "Rep_CFun") [foldl 
    1.22  				(fn (w,a ) => mk_appl (Constant"Rep_CFun" ) [w,a ])