jukebox 0.2.8 → 0.2.9

raw patch · 2 files changed

+4/−2 lines, 2 files

Files

jukebox.cabal +1/−1
src/Jukebox/Form.hs +3/−1

jukebox.cabal view

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.2.8+Version: 0.2.9 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone

src/Jukebox/Form.hs view

@@ -463,7 +463,9 @@      bind :: Symbolic a => Bind a -> Bind a     bind (Bind vs t) =-      Bind vs (subst (checkBinder vs (Map.filterWithKey (\x _ -> x `Set.member` vs) s)) t)+      Bind vs (subst (checkBinder vs (s Map.\\ vs')) t)+      where+        vs' = Map.fromSet (const ()) vs      generic :: Symbolic a => a -> a     generic t = recursively (subst s) t