|
| | -Original Message-
| | From: [EMAIL PROTECTED]
| [mailto:[EMAIL PROTECTED] On
| | Behalf Of Dean Herington
| | Sent: 28 July 2003 23:01
| | To: [EMAIL PROTECTED]
| | Subject: can't derive Monad
| |
| | The following may not be a bug, but it surprised me. Why does the
| | circularity cause GHC
that's rejected!
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On
| Behalf Of Dean Herington
| Sent: 28 July 2003 23:01
| To: [EMAIL PROTECTED]
| Subject: can't derive Monad
|
| The following may not be a bug, but it surprised me. Why does
| Sent: 28 July 2003 23:01
| To: [EMAIL PROTECTED]
| Subject: can't derive Monad
|
| The following may not be a bug, but it surprised me. Why does the
| circularity cause GHC fits?
|
|
| swan(106)% cat NestStateT.hs
| {-# OPTIONS -fglasgow-exts #-}
|
| import Control.Monad.State
The following may not be a bug, but it surprised me. Why does the
circularity cause GHC fits?
swan(106)% cat NestStateT.hs
{-# OPTIONS -fglasgow-exts #-}
import Control.Monad.State
newtype S1 = S1 [T1 ()]
newtype T1 a = T1 (StateT S1 IO a )
deriving Monad
main = undefined
swan(105)% ghci