logo       

newtype deriving panic: msg#00043

lang.haskell.glasgow.bugs

Subject: newtype deriving panic

Given this program:

{-# OPTIONS -fglasgow-exts #-}

module Bug1 where

import Control.Monad.State

newtype T a = T (StateT Int IO a) deriving (MonadState)


GHC 5.04.2 chokes:

ghc-5.04.2: chasing modules from: Bug1
Compiling Bug1 ( Bug1.hs, ./Bug1.o )
ghc-5.04.2: panic! (the `impossible' happened, GHC version 5.04.2):
basicTypes/VarEnv.lhs:173: Non-exhaustive patterns in case


Of course, the program is in error. (It should derive `MonadState Int`.)


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise