summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/UnliftedNewtypesLevityBinder.stderr
blob: e0bdaa5e8cdad76f9f5c8de7dae88a16659e56b2 (plain)
1
2
3
4
5
6
7
8
9

UnliftedNewtypesLevityBinder.hs:15:7: error:
    • Unsaturated use of a representation-polymorphic newtype constructor.
      The first argument of ‘IdentC’
      does not have a fixed runtime representation.
      Its type is:
        a :: TYPE r
    • In the expression: IdentC
      In an equation for ‘bad’: bad = IdentC