testsuite/tests/mdo/should_fail/mdofail002.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# OPTIONS -XRecursiveDo #-}

-- shadowing is not allowed

module Main (main) where

import Control.Monad.Fix 

t :: IO ()
t = mdo x <- return 1
        x <- return 2
        return ()

main :: IO ()
main = t