blob: f5b98c8354463fa2e9236efb7c0176cee292f29a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Renamer ====================
Test.q1 :: IO ()
Test.q1
= do (a <- pure () | b <- pure ())
return $ pureNothing a
where
pureNothing :: a -> ()
pureNothing _ = ()
Test.q2 :: IO ()
Test.q2
= do (a <- pure () | b <- pure ())
doNothing a
where
doNothing :: a -> IO ()
doNothing _ = pure ()
|
