[GHC] #1154: GADT syntax for newtype causes tcConDecl exception

GHC trac at galois.com
Sun Feb 18 19:06:27 EST 2007


#1154: GADT syntax for newtype causes tcConDecl exception
-------------------------+--------------------------------------------------
    Reporter:  ccshan    |       Owner:       
        Type:  bug       |      Status:  new  
    Priority:  normal    |   Milestone:       
   Component:  Compiler  |     Version:  6.6  
    Severity:  normal    |    Keywords:       
  Difficulty:  Unknown   |    Testcase:       
Architecture:  Unknown   |          Os:  Linux
-------------------------+--------------------------------------------------
{{{
 $ 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

 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1154>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list