testsuite/tests/parser/should_compile/BlockArguments.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

{-# LANGUAGE BlockArguments #-}

module BlockArguments where

import Control.Monad

foo :: IO ()
foo = when True do
  return ()

foo' :: IO ()
foo' = do
  forM [1 .. 10] \x ->
    print x

  forM [1 .. 10] \x -> do
    print x
    print x

  return ()

foo'' :: IO ()
foo'' = when
  do True
  do return ()