bound 1.0.1 → 1.0.2

raw patch · 3 files changed

+7/−2 lines, 3 files

Files

CHANGELOG.markdown +5/−0
bound.cabal +1/−1
src/Bound/Scope/Simple.hs +1/−1

CHANGELOG.markdown view

@@ -1,3 +1,8 @@+1.0.2+-----+* Removed unneccesary constraint on `hoistScope`.++ 1.0.1 ----- * Added a monomorphic `hoistScope` for `Bound.Scope.Simple`

bound.cabal view

@@ -1,6 +1,6 @@ name:          bound category:      Language, Compilers/Interpreters-version:       1.0.1+version:       1.0.2 license:       BSD3 cabal-version: >= 1.9.2 license-file:  LICENSE

src/Bound/Scope/Simple.hs view

@@ -233,7 +233,7 @@ instantiate1 e = instantiate (const e) {-# INLINE instantiate1 #-} -hoistScope :: Monad f => (f (Var b a) -> g (Var b a)) -> Scope b f a -> Scope b g a+hoistScope :: (f (Var b a) -> g (Var b a)) -> Scope b f a -> Scope b g a hoistScope f = Scope . f . unscope {-# INLINE hoistScope #-}