[GHC] #1127: Make StateT in mtl truly lazy
GHC
trac at galois.com
Tue Jan 30 11:51:54 EST 2007
#1127: Make StateT in mtl truly lazy
----------------------------------+-----------------------------------------
Reporter: igloo | Owner:
Type: proposal | Status: new
Priority: normal | Milestone: Not GHC
Component: libraries (other) | Version: 6.6
Severity: normal | Keywords:
Difficulty: Unknown | Testcase:
Architecture: Unknown | Os: Unknown
----------------------------------+-----------------------------------------
The StateT monad gives every impression of intending to be lazy, but the
absence of a ~ means that it isn't fully lazy. This bit me in the
compression library, meaning I currently bundle a LazyStateT module that
provides essentially StateT with this change. There was also a recent
discussion about it on one of the mailing lists:
http://www.haskell.org/pipermail/haskell-cafe/2007-January/021244.html
I propose making StateT lazy.
Deadline: 28 February 2007.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1127>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list