blob: a48eefa296c7ff5a771cb6ef70734878c06d822f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE ApplicativeDo #-}
{-# OPTIONS_GHC -ddump-rn -dsuppress-uniques #-}
module Test where
-- Sanity check for a simple expression not involving join.
q1 :: IO ()
q1 = do
a <- pure ()
b <- pure ()
pure $ pureNothing a
where
pureNothing :: a -> ()
pureNothing _ = ()
-- Sanity check for a simple expression involving join.
q2 :: IO ()
q2 = do
a <- pure ()
b <- pure ()
doNothing a
where
doNothing :: a -> IO ()
doNothing _ = pure ()
|
