#1781: Type equality class leads to non-termination
----------------------------------------+-----------------------------------
Reporter: chak | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.9
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------------+-----------------------------------
Comment (by guest):
Replying to [comment:5 chak]:
> You may have misunderstood the problem exposed by this bug - maybe my
explanation just wasn't clear. The problem is '''not''' with the
equality class `E` as such. It's with this particular use in the
definition of `plus`, where the signature type contains a type variable
that is constrained to be a function by the class context. This is
something that has '''never''' worked in GHC, so I doubt that it breaks
any existing code.
As I understand, this code didn’t make the type checker loop in previous
versions of GHC. So maybe there is a new problem in GHC which causes the
looping of the type checker in this case, and this problem could also
cause the looping with my code.
But since you want so, I will file a new bug report. :-)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1781#comment:6>
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
