1.1 --- a/src/HOLCF/Tools/cont_consts.ML	Wed Apr 08 20:29:15 2009 +0200
     1.2 +++ b/src/HOLCF/Tools/cont_consts.ML	Fri Apr 10 11:35:21 2009 -0700
     1.3 @@ -18,8 +18,6 @@
     1.4  
     1.5  (* misc utils *)
     1.6  
     1.7 -open HOLCFLogic;
     1.8 -
     1.9  fun first  (x,_,_) = x;
    1.10  fun second (_,x,_) = x;
    1.11  fun third  (_,_,x) = x;
    1.12 @@ -66,7 +64,7 @@
    1.13              (c2,change_arrow n T,mx   ),
    1.14              trans_rules c2 c n mx) end;
    1.15  
    1.16 -fun cfun_arity (Type(n,[_,T])) = if n = cfun_arrow then 1+cfun_arity T else 0
    1.17 +fun cfun_arity (Type(n,[_,T])) = if n = @{type_name "->"} then 1+cfun_arity T else 0
    1.18  |   cfun_arity _               = 0;
    1.19  
    1.20  fun is_contconst (_,_,NoSyn   ) = false