blob: 065c700dfcc9ebbe41f4d0b2e55131a828720a3c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
[1 of 2] Compiling T13780b ( T13780b.hs, T13780b.o )
[2 of 2] Compiling T13780c ( T13780c.hs, T13780c.o )
T13780c.hs:11:16: error:
• Expected kind ‘Sing _1’, but ‘SFalse’ has kind ‘Sing 'False’
• In the third argument of ‘ElimBool’, namely ‘SFalse’
In the type family declaration for ‘ElimBool’
T13780c.hs:12:16: error:
• Expected kind ‘Sing _1’, but ‘STrue’ has kind ‘Sing 'True’
• In the third argument of ‘ElimBool’, namely ‘STrue’
In the type family declaration for ‘ElimBool’
|