testsuite/tests/mdo/should_fail/mdofail003.hs


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

{-# OPTIONS -XRecursiveDo #-}

-- shadowing is not allowed II

module Main (main) where

import Control.Monad.Fix 

t :: IO ()
t = mdo x <- return 1
        let x 0 = 4
        return ()

main :: IO ()
main = t