summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesUnassociatedFamilyFail.stderr
blob: a9cb6948071b497d2d612ef7bfaaf7d9debc3b75 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

UnliftedNewtypesUnassociatedFamilyFail.hs:21:30:
     Expecting a lifted type, but ‘Int#’ is unlifted
     In the type ‘Int#’
      In the definition of data constructor ‘MkDF1a’
      In the newtype instance declaration for ‘DF’

UnliftedNewtypesUnassociatedFamilyFail.hs:22:30:
     Expecting a lifted type, but ‘Word#’ is unlifted
     In the type ‘Word#’
      In the definition of data constructor ‘MkDF2a’
      In the newtype instance declaration for ‘DF’

UnliftedNewtypesUnassociatedFamilyFail.hs:23:30:
     Expecting a lifted type, but ‘(# Int#, Word# #)’ is unlifted
     In the type ‘(# Int#, Word# #)’
      In the definition of data constructor ‘MkDF3a’
      In the newtype instance declaration for ‘DF’