Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T4345.hs
1 -- This one elicited a bug in the simplifier
2 -- that produces a Lint out-of-scope error
3
4 module T4345 where
5
6 isNull :: IO Bool
7 isNull = error "urk"
8
9 wrapMatchAll :: IO (Maybe ())
10 wrapMatchAll = do
11 nsub <- undefined
12 let loop True = do atEnd <- isNull
13 return Nothing
14 loop False = loop False
15 result <- undefined
16 loop undefined