[GHC] #8073: TransformListComp weird type error
GHC
ghc-devs at haskell.org
Fri Jul 19 12:20:03 CEST 2013
#8073: TransformListComp weird type error
----------------------------------------------+----------------------------
Reporter: simonmar | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.8.1
Component: Compiler (Type checker) | Version: 7.6.3
Resolution: invalid | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects valid program | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets:
----------------------------------------------+----------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => invalid
Comment:
It's not a bug! There's a good reason for it, which you'll find discussed
in [http://research.microsoft.com/~simonpj/papers/list-comp/index.htm the
paper].
That said, I can see it's inconvenient here, and others may have ideas
about what to do about it.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8073#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list