#2693: Type Synonym Family Panic in GHC 6.10.0.20081007
---------------------------+------------------------------------------------
Reporter: BenMoseley | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.9
Severity: major | Resolution:
Keywords: panic | Testcase:
Architecture: x86 | Os: Windows
---------------------------+------------------------------------------------
Comment (by BenMoseley):
I had a chance to simplify this some more:
{{{
{-# LANGUAGE TypeFamilies #-}
type family TFn a :: *
f :: Maybe ()
f = do
let Just x = undefined :: Maybe (TFn a)
let n = fst x + fst x
return ()
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2693#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs