testsuite/tests/typecheck/should_fail/T8044.stderr


1
2
3
4
5
6
7
8
9


T8044.hs:16:13: error:
    • Couldn't match type ‘Frob a’ with ‘Char’
      Expected: X (Frob a)
        Actual: X Char
    • In the expression: XChar
      In an equation for ‘frob’: frob _ = XChar
    • Relevant bindings include
        frob :: X a -> X (Frob a) (bound at T8044.hs:15:1)