summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T13601.stderr
blob: 269dd00b2029890c19ca5414af4bb2159f9e8d94 (plain)
1
2
3
4
5

T13601.hs:19:16: error:
    • Expected a type, but ‘Logic a’ has kind ‘TYPE (Rep rep)’
    • In the first argument of ‘Boolean’, namely ‘(Logic a)’
      In the class declaration for ‘Eq’