summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T16255.stderr
blob: ba23f0e466c33699878977d206b1a080717c0998 (plain)
1
2
3
4
5
6
7
8
9
10

T16255.hs:14:3: error:
    • Illegal oversaturated visible kind argument: ‘@Bool’
    • In the equations for closed type family ‘F1’
      In the type family declaration for ‘F1’

T16255.hs:22:3: error:
    • Illegal oversaturated visible kind argument: ‘@Symbol’
    • In the equations for closed type family ‘F2’
      In the type family declaration for ‘F2’