testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr


1
2
3
4
5
6
7
8
9
10


UnliftedNewtypesInfinite.hs:9:20: error:
    • Couldn't match kind ‘t0’
                     with ‘'GHC.Types.TupleRep '[ 'GHC.Types.IntRep, t0]’
      Expected kind ‘TYPE t0’,
        but ‘(# Int#, Foo #)’ has kind ‘TYPE
                                          ('GHC.Types.TupleRep '[ 'GHC.Types.IntRep, t0])’
    • In the type ‘(# Int#, Foo #)’
      In the definition of data constructor ‘FooC’
      In the newtype declaration for ‘Foo’