testsuite/tests/typecheck/should_fail/tcfail146.stderr


1
2
3
4
5
6


tcfail146.hs:7:22: error:
    • Expected a type, but ‘SClass a’ has kind ‘Constraint’
    • In the type ‘(SClass a)’
      In the definition of data constructor ‘SCon’
      In the data declaration for ‘SData’