src/HOLCF/Tools/Domain/domain_library.ML
changeset 36692 54b64d4ad524
parent 35912 b0e300bd3a2c
child 37145 01aa36932739
--- a/src/HOLCF/Tools/Domain/domain_library.ML	Wed May 05 09:24:42 2010 +0200
+++ b/src/HOLCF/Tools/Domain/domain_library.ML	Wed May 05 18:25:34 2010 +0200
@@ -228,7 +228,7 @@
 fun cont_eta_contract (Const("Cfun.Abs_CFun",TT) $ Abs(a,T,body)) = 
     (case cont_eta_contract body  of
        body' as (Const("Cfun.Rep_CFun",Ta) $ f $ Bound 0) => 
-       if not (0 mem loose_bnos f) then incr_boundvars ~1 f 
+       if not (member (op =) (loose_bnos f) 0) then incr_boundvars ~1 f 
        else   Const("Cfun.Abs_CFun",TT) $ Abs(a,T,body')
      | body' => Const("Cfun.Abs_CFun",TT) $ Abs(a,T,body'))
   | cont_eta_contract(f$t) = cont_eta_contract f $ cont_eta_contract t