UnliftedNewtypesFamilyKindFail1.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/UnliftedNewtypesFamilyKindFail1.stderr

blob: 4afc7400961457919a7cb71efe25ac9aefe5a3f8 (plain)


UnliftedNewtypesFamilyKindFail1.hs:11:31: error:
    • Expected a type, but ‘5’ has kind ‘GHC.Types.Nat’
    • In the kind ‘5’