blob: 3ecec3fdf04640709d7572e54c1c99ade873de26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
UnliftedNewtypesMultiFieldGadt.hs:19:11: error:
• Expecting an unlifted type, but ‘Bool’ is lifted
• In the type ‘Bool’
In the definition of data constructor ‘FooC’
In the newtype declaration for ‘Foo’
UnliftedNewtypesMultiFieldGadt.hs:19:19: error:
• Expecting an unlifted type, but ‘Char’ is lifted
• In the type ‘Char’
In the definition of data constructor ‘FooC’
In the newtype declaration for ‘Foo’
|
