rename: hadle type signatures with typos
[ghc.git] / testsuite / tests / rename / should_fail / T16504.hs
1 -- Type signature and definition with name typo
2 module M where
3
4 -- Both in global scope
5 simpleFuntcion :: Int -> Bool
6 simpleFunction i = i > 5
7
8 -- Both in local scope
9 f x = anotherFunction x
10 where anotherFunction :: Int -> Bool
11 anotherFuntcion i = i > 5
12
13 -- Global signature, local definition
14 nonexistentFuntcion :: Int -> Bool
15 g x = nonexistentFunction x
16 where nonexistentFunction i = i > 5