LevPolyLet.stderr\should_fail\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr

blob: 8d01f4028b87cb1209a25e15064de300f5d3f54d (plain)

LevPolyLet.hs:18:7:
    A levity-polymorphic type is not allowed here:
      Type: a
      Kind: TYPE ('BoxedRep v)
    In the type of binder ‘x’