testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr

   1
   2 CustomTypeErrors02.hs:17:1: error:
   3     • The type 'a_aEN -> a_aEN' cannot be represented as an integer.
   4     • When checking that ‘err’ has 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