testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKindRecord.stderr


1
2
3
4
5
6
7


UnliftedNewtypesMismatchedKindRecord.hs:11:23: error:
    • Expected kind ‘TYPE 'IntRep’,
        but ‘Word#’ has kind ‘TYPE 'WordRep’
    • In the type ‘Word#’
      In the definition of data constructor ‘FooC’
      In the newtype declaration for ‘Foo’