#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

Reply via email to