A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / patsyn / should_fail / mono.stderr
1
2 mono.hs:7:4: error:
3     • Couldn't match type ‘Bool’ with ‘Int’
4       Expected type: [Bool]
5         Actual type: [Int]
6     • In the pattern: Single x
7       In an equation for ‘f’: f (Single x) = x
8
9 mono.hs:7:16: error:
10     • Couldn't match expected type ‘Bool’ with actual type ‘Int’
11     • In the expression: x
12       In an equation for ‘f’: f (Single x) = x