Ticket #1494: YetAnotherBug.hs

File YetAnotherBug.hs, 456 bytes (added by iampure@…, 8 years ago)

It should load fine in 6.7, but evaluating a, makes it panic.

Line 
1{-# OPTIONS_GHC -fno-monomorphism-restriction -fglasgow-exts #-}
2import Control.Monad.State
3
4newtype L a b m result =
5     L {
6       state:: StateT (K a b) m result}
7        deriving Monad
8
9data K a b = K
10
11class Foo g where
12  z:: Int -> g a b-> Int
13 
14what_was_that::(Show a, Show b, Eq b, Foo f, Monad m) => (b -> b) -> x -> L (f a b) s m ()
15what_was_that = undefined
16
17zork = what_was_that (\e-> e)
18
19a = putStrLn "hi" 
20
21mumble e = do
22 modify id
23 zork e
24