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: 73d37dae84373a50b90968fbe6f1fa1054eeae26 (plain)

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