GADT syntax for newtype causes tcConDecl exception
$ cat Bug.hs
{-# OPTIONS -fglasgow-exts #-}
module Bug where
newtype Bug a where Bug :: a -> Bug a
$ ghc -c Bug.hs
ghc-6.6: panic! (the 'impossible' happened)
(GHC version 6.6 for i386-unknown-linux):
typecheck/TcTyClsDecls.lhs:(468,0)-(524,4): Non-exhaustive patterns in function tcConDecl
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
| Trac field |
Value |
| Version |
6.6 |
| Type |
Bug |
| TypeOfFailure |
OtherFailure |
| Priority |
normal |
| Resolution |
Unresolved |
| Component |
Compiler |
| Test case |
|
| Differential revisions |
|
| BlockedBy |
|
| Related |
|
| Blocking |
|
| CC |
|
| Operating system |
|
| Architecture |
Unknown |
