summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKindRecord.stderr
blob: f30d8b8fe881aa37042e42930033547c99a16917 (plain)
1
2
3
4
5
6
7

UnliftedNewtypesMismatchedKindRecord.hs:11:23: error:
    • Couldn't match kind ‘'WordRep’ with ‘'IntRep’
      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’