Commit 018d0897 authored by simonpj's avatar simonpj
Browse files

Add test for Trac #1494

parent 0213c879
......@@ -244,6 +244,7 @@ test('tc228', normal, compile, [''])
test('tc229', normal, compile, [''])
test('tc230', normal, compile, [''])
test('tc231', normal, compile, [''])
test('tc232', normal, compile, [''])
test('faxen', normal, compile, [''])
......
-- This one foxed the constraint solver (Lint error)
-- See Trac #1494
module ShouldCompile where
import Control.Monad.State
newtype L m r = L (StateT Int m r)
instance Monad m => Monad (L m) where
(>>=) = undefined
return = undefined
zork :: (Monad m) => a -> L m ()
zork = undefined
mumble e = do { modify id; zork e }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment