testsuite/tests/saks/should_fail/T18863a.stderr


1
2
3
4
5
6


T18863a.hs:9:1: error: [GHC-25115]
    • Visibilities of forall-bound variables are not compatible
        Expected: forall i. i -> *
          Actual: forall i -> i -> *
    • In the data type declaration for ‘IDa’