ASSERT fails on newtype + forall
The following module causes an ASSERT failure in the HEAD version of ghc 6.5.
==== BadNewtype.hs ====
module BadNewtype where
newtype Foo = forall a . Foo a
================
> ghci-6.5 -fglasgow-exts BadAssert.hs
Loading package base-1.0 ... linking ... done.
[1 of 1] Compiling BadAssert ( BadAssert.hs, interpreted )
*** Exception: ASSERT failed! file typecheck/TcTyClsDecls.lhs, line 466
>
Trac metadata
| Trac field | Value |
|---|---|
| Version | |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |