Uncaught kind error leads to the 'impossible' happening
data F c a = F (c a)
data Val c a = Val (F c) a --- should produce a kind error but doesn't
t = Val (F [True]) False --- here we get the impossible
dhcp38-137:~/writing/exrep sweirich$ ghci test.hs
/ _ \ /\ /\/ __(_)
/ /\// // / / | | GHC Interactive, version 6.4, for Haskell 98. / /\\/ __ / /| | http://www.haskell.org/ghc/ \__/\/ //\___/|_| Type :? for help.
Loading package base-1.0 ... linking ... done. Compiling Main ( test.hs, interpreted ) ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): Unify.unifyTauTyLists: mismatched type lists!
Please report it as a compiler bug to glasgow-haskell-bugs@haskell.org, or http://sourceforge.net/projects/ghc/.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | Unknown |