#714: inconsistency between handling of class and signature constraints
--------------------------------------+-------------------------------------
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
Priority: low | Milestone:
Component: Compiler (Type checker) | Version: 6.5
Severity: normal | Resolution:
Keywords: | Os: Unknown
Difficulty: Unknown | Architecture: Unknown
--------------------------------------+-------------------------------------
Changes (by simonpj):
* milestone: 6.6 =>
* priority: normal => low
Comment:
I agree that this is an inconsistency.
However I'm planning to re-work the part of the type checker that deals
with FDs, as part of the overlhaul that makes FC the intermediate
language, and adds associated types. So I'll look at it then. Meanwhile,
I don't think the payoff is enough to also do it for the current FD
implementation.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/714>
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
