testsuite/tests/typecheck/should_fail/T3613.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

-- c.f #3613

module T3613 where

import Control.Monad

foo :: Maybe ()
foo = return ()

bar :: IO ()
bar = return ()

fun1 = let fooThen m = foo>> m
       in fooThen (bar>> undefined)

fun2 = let fooThen m = foo>> m
       in fooThen (do {bar; undefined})