#1825: standalone deriving for typeable fails
---------------------------+------------------------------------------------
Reporter: jpbernardy | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.1
Severity: normal | Keywords:
Difficulty: Unknown | Testcase:
Architecture: Unknown | Os: Unknown
---------------------------+------------------------------------------------
{{{
import Data.Typeable
data D a = C1 a | C2 (D a)
deriving instance Typeable a => Typeable (D a)
-- deriving Typeable
x = show $ typeOf (undefined::D Int)
main = print x
}}}
yields:
{{{
[1 of 1] Compiling Main ( T.hs, T.o )
ghc-6.8.1: panic! (the 'impossible' happened)
(GHC version 6.8.1 for i386-unknown-linux):
No match in record selector Var.tcTyVarDetails
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1825>
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
