Thanks. Should be rejected, because MonadState takes two type
parameters, and
the deriving stuff only allows one. You might be able to say
...deriving(MonadState m)
or some such
I'll fix up the compiler to reject it more gracefully
Simon
| -----Original Message-----
| From: Dean Herington [mailto:[EMAIL PROTECTED]]
| Sent: 22 January 2003 21:45
| To: [EMAIL PROTECTED]
| 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`.)
|
|
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
