liquidhaskell-0.9.0.2.1: tests/pos/FailName.hs
module FailName where
bar = fail
where fail = foo
foo = 3 -- undefined
bar1 = fail ()
where fail = foo
foo = undefined
module FailName where
bar = fail
where fail = foo
foo = 3 -- undefined
bar1 = fail ()
where fail = foo
foo = undefined