blob: 0a0dada9cb58384986097eb172a9a7382b501c9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
-- This one elicited a bug in the simplifier
-- that produces a Lint out-of-scope error
module T4345 where
isNull :: IO Bool
isNull = error "urk"
wrapMatchAll :: IO (Maybe ())
wrapMatchAll = do
nsub <- undefined
let loop True = do atEnd <- isNull
return Nothing
loop False = loop False
result <- undefined
loop undefined
|