summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr
blob: 0025b444bfd02db45324befa7d2a6c8e9f97b218 (plain)
1
2
3
4
5

UnliftedNewtypesLevityBinder.hs:17:7: error:
    Cannot use function with levity-polymorphic arguments:
      UnliftedNewtypesLevityBinder.IdentC :: a -> Ident a
    Levity-polymorphic arguments: a :: TYPE r