#5581: ConstraintKinds lets you put the typechecker into a loop
----------------------------------------+-----------------------------------
Reporter: pumpkin | Owner: batterseapower
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.3
Keywords: ConstraintKinds | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Compile-time crash
----------------------------------------+-----------------------------------
Changes (by simonpj):
* owner: => batterseapower
Comment:
Oops -- thank you for reporting this.
Max, this is for you. The two functions `sizeType` and `sizePred` go into
an infinite loop on a single type variable `(p :: Constraint)`. Could you
fix pls?
While you are at it could you add a `Note` to explain your reasoning:
* Why convert to a `PredTree` (I think it is only because there might be
a synonym, and you don't want to count the tuple of the constraints in the
size).
* What precisely you are counting and why (move the Paterson condition
notes from higher up, I suggest, or at least copy the bit about size).
Thanks!
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5581#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
