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