[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