testsuite/tests/dependent/should_fail/T14845_compile.stderr


1
2
3
4
5
6
7


T14845_compile.hs:15:15: error: [GHC-88634]
    • Data constructor ‘MkA1’ cannot be used here
        (it has an unpromotable context ‘a ~ Int’)
    • In the first argument of ‘SA’, namely ‘MkA1’
      In the type ‘SA MkA1’
      In the definition of data constructor ‘SMkA1’