blob: 972f873e62b9ed44990092f125ede81bf090a10c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
UnliftedNewtypesUnassociatedFamilyFail.hs:21:30: error:
• 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: error:
• 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: error:
• 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’
|
