#3613: Better error messages for do-notation
----------------------------------------+-----------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.14 branch
Component: Compiler (Type checker) | Version: 6.10.4
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
----------------------------------------+-----------------------------------
Changes (by simonpj):
* milestone: => 6.14 branch
Comment:
I've improved matters as a side consequence of
{{{
Wed Oct 28 06:35:54 PDT 2009 [email protected]
* Add 'rec' to stmts in a 'do', and deprecate 'mdo'
The change is this (see Trac #2798).
...
}}}
However the interaction of GADTs and impredicative polymorphism defeated
me, so I only dealt with `(>>)` and not `(>>=)`.
When the long-heralded re-engineering of type inference for GADTs takes
place, I'll come back to this.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3613#comment:2>
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
