Tidy user type errors in checkValidType
[ghc.git] / testsuite / tests / typecheck / should_fail / CustomTypeErrors02.stderr
1
2 CustomTypeErrors02.hs:17:1: error:
3     • The type 'a0 -> a0' cannot be represented as an integer.
4     • When checking the inferred type
5         err :: (TypeError ...)
6
7 CustomTypeErrors02.hs:17:7: error:
8     • The type 'a0 -> a0' cannot be represented as an integer.
9     • In the expression: convert id
10       In an equation for ‘err’: err = convert id