summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdwardKmett <>2014-04-05 18:09:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2014-04-05 18:09:00 (GMT)
commit2e19a8184a895519b8dc08a1aa9c79dcddae64e2 (patch)
tree18914e40fe2b38441ae57344335e424b43121442
parent7fa226d55551621ddc767ec6fc436807b848b322 (diff)
version 1.0.21.0.2
-rw-r--r--CHANGELOG.markdown5
-rw-r--r--bound.cabal2
-rw-r--r--src/Bound/Scope/Simple.hs2
3 files changed, 7 insertions, 2 deletions
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
index 2b49fdb..35ba5bb 100644
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,8 @@
+1.0.2
+-----
+* Removed unneccesary constraint on `hoistScope`.
+
+
1.0.1
-----
* Added a monomorphic `hoistScope` for `Bound.Scope.Simple`
diff --git a/bound.cabal b/bound.cabal
index 0c8424d..48b0664 100644
--- a/bound.cabal
+++ b/bound.cabal
@@ -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
diff --git a/src/Bound/Scope/Simple.hs b/src/Bound/Scope/Simple.hs
index 844051e..239dfff 100644
--- a/src/Bound/Scope/Simple.hs
+++ b/src/Bound/Scope/Simple.hs
@@ -233,7 +233,7 @@ instantiate1 :: Monad f => f a -> Scope n f a -> f a
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 #-}