src/HOLCF/Tools/Domain/domain_extender.ML
changeset 33037 b22e44496dc2
parent 32952 aeb1e44fbc19
child 33038 8f9594c31de4
     1.1 --- a/src/HOLCF/Tools/Domain/domain_extender.ML	Tue Oct 20 13:37:56 2009 +0200
     1.2 +++ b/src/HOLCF/Tools/Domain/domain_extender.ML	Tue Oct 20 16:13:01 2009 +0200
     1.3 @@ -59,8 +59,8 @@
     1.4              fun analyse indirect (TFree(v,s))  =
     1.5                  (case AList.lookup (op =) tvars v of 
     1.6                     NONE => error ("Free type variable " ^ quote v ^ " on rhs.")
     1.7 -                 | SOME sort => if eq_set_string (s,defaultS) orelse
     1.8 -                                   eq_set_string (s,sort    )
     1.9 +                 | SOME sort => if gen_eq_set (op =) (s, defaultS) orelse
    1.10 +                                   gen_eq_set (op =) (s, sort)
    1.11                                  then TFree(v,sort)
    1.12                                  else error ("Inconsistent sort constraint" ^
    1.13                                              " for type variable " ^ quote v))