testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKind.stderr


1
2
3
4
5
6


UnliftedNewtypesMismatchedKind.hs:12:10: error:
    • Expecting a lifted type, but ‘Int#’ is unlifted
    • In the type ‘Int#’
      In the definition of data constructor ‘MkT’
      In the newtype declaration for ‘T’