#2618: Order is relevant when matching signature contexts of a mutually
recursive
group
-------------------------------------+--------------------------------------
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 6.10.1
Component: Compiler (Type checker) | Version: 6.8.3
Severity: normal | Resolution: invalid
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => invalid
Comment:
It's part of the Haskell 98 spec; see the last sentence of Section 4.5.2
http://haskell.org/onlinereport/decls.html#generalization
As Ian says, the `-XRelaxedPolyRec` flag lifts this restriction.
I'll close the bug as invalid. But don't let that discourage you from
reporting bugs.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2618#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
