summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesInfinite.stderr
blob: bf50beed5e4153ac8545a15641e01cf54ed72d1a (plain)
1
2
3
4
5
6
7

UnliftedNewtypesInfinite.hs:9:20: error:
    • Occurs check: cannot construct the infinite kind:
        t0 ~ '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’