diff --git a/Control/Monad/Trans/Control.hs b/Control/Monad/Trans/Control.hs --- a/Control/Monad/Trans/Control.hs +++ b/Control/Monad/Trans/Control.hs @@ -19,13 +19,6 @@ Maintainer : Bas van Dijk Stability : experimental - -(TODO: It would be nicer if the associated /data types/ 'StT' and 'StM' were -associated /type synonyms/ instead. This would simplify a lot of code and could -make some definitions more efficient because there'll be no need to wrap the -monadic state in a data type. Unfortunately GHC has a bug which prevents this: -. I will switch to associated -type synonyms when that bug is fixed.) -} module Control.Monad.Trans.Control @@ -153,7 +146,8 @@ -- Following functions can be used to define 'MonadTransControl' instances for -- newtypes. -- --- @{-\# LANGUAGE GeneralizedNewtypeDeriving \#-} +-- @ +-- {-\# LANGUAGE GeneralizedNewtypeDeriving \#-} -- -- newtype CounterT m a = CounterT {unCounterT :: StateT Int m a} -- deriving (Monad, MonadTrans) diff --git a/monad-control.cabal b/monad-control.cabal --- a/monad-control.cabal +++ b/monad-control.cabal @@ -1,5 +1,5 @@ Name: monad-control -Version: 0.3.2.2 +Version: 0.3.2.3 Synopsis: Lift control operations, like exception catching, through monad transformers License: BSD3 License-file: LICENSE @@ -26,11 +26,6 @@ library. The main difference is that this package provides CPS style operators and exploits the @RankNTypes@ and @TypeFamilies@ language extensions to simplify and speedup most definitions. - . - The following @criterion@ based benchmark shows that @monad-control@ is on - average about 99% faster than @monad-peel@: - . - @git clone @ extra-source-files: README.markdown, NEWS