kindFunResult panic with => inside a constraint
Following type (found by arkeet on #haskell) causes kindFunResult panic in 7.6 and HEAD:
v :: ((Num Int => Num) ()) => ()
v = vIn a probably related issue,
Prelude> :set -XFlexibleContexts -XRankNTypes
Prelude> type T = Num Int => Num Bool
Prelude> :k T
T :: Constraint
Prelude> :k Num Int => Num Bool
Num Int => Num Bool :: *Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |