cflp 0.2.5 → 2009.1.6

raw patch · 3 files changed

+4/−4 lines, 3 filesdep ~value-supply

Dependency ranges changed: value-supply

Files

cflp.cabal +2/−2
src/Control/CFLP.lhs +1/−1
src/Data/LazyNondet/UniqueID.lhs +1/−1

cflp.cabal view

@@ -1,5 +1,5 @@ Name:          cflp-Version:       0.2.5+Version:       2009.1.6 Cabal-Version: >= 1.6 Synopsis:      Constraint Functional-Logic Programming in Haskell Description:   This package provides combinators for constraint@@ -23,7 +23,7 @@ Library   Build-Depends:    base >= 4,                      containers, -                    value-supply >= 0.3, +                    value-supply,                      mtl,                      syb,                      HUnit

src/Control/CFLP.lhs view

@@ -13,7 +13,7 @@ > > module Control.CFLP ( >->   CFLP, ChoiceStore, Computation, eval, evalPartial, evalPrint,+>   CFLP, CS, UpdateT, ChoiceStore, Computation, eval, evalPartial, evalPrint, > >   Strategy, depthFirst, >

src/Data/LazyNondet/UniqueID.lhs view

@@ -48,7 +48,7 @@ >   type M ID (ID -> a) = M ID a >   type T ID (ID -> a) = T ID a >->   with f (ID us) = with (f (ID (supplyLeft us))) (ID (supplyRight us))+>   with f (ID us) = with (f (ID l)) (ID r) where (l,r) = split2 us > > withUnique :: With ID a => a -> ID -> Nondet (C ID a) (M ID a) (T ID a) > withUnique = with