#344: double-panic with GADTs
-------------------------------------+--------------------------------------
Reporter: nobody | Owner: ross
Type: bug | Status: new
Priority: normal | Milestone: 6.8 branch
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* status: assigned => new
* owner: simonpj => ross
Comment:
Dear Ross,
As I understand it, this is a significant (i.e. not trivially fixable) bug
in the typechecking of arrow syntax: we need to gather separate constraint
sets to the left of `-<` and elsewhere. Or something; I'm not quite sure
what.
Is that right? Can you update the description of the bug so that it
describes the actual problem (it's nothing to do with GADTs)?
What do you want to do about it? The current state of affairs (arrow-
syntax programs can pass the typechecker but generate bogus code) is
rather unsatisfactory.
Thanks
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/344#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
