blob: 57c4a3c2e9f2f4aae76c1bddb3a2795d59a70722 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
UnliftedNewtypesFamilyKindFail2.hs:12:20:
Expected a type, but ‘5’ has kind ‘GHC.Types.Nat’
In the first argument of ‘F’, namely ‘5’
In the newtype instance declaration for ‘F’
UnliftedNewtypesFamilyKindFail2.hs:12:31:
Expected a type, but ‘5’ has kind ‘GHC.Types.Nat’
In the first argument of ‘F’, namely ‘5’
In the type ‘(F 5)’
In the definition of data constructor ‘MkF’
|
