blob: 2cdb59ad1e16d1283c2a2180d4cb5d4f2e72da01 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
[1 of 2] Compiling T13780b ( T13780b.hs, T13780b.o )
[2 of 2] Compiling T13780c ( T13780c.hs, T13780c.o )
T13780c.hs:12:16: error:
• Data constructor ‘SFalse’ cannot be used here
(it comes from a data family instance)
• In the third argument of ‘ElimBool’, namely ‘SFalse’
In the type family declaration for ‘ElimBool’
T13780c.hs:13:16: error:
• Data constructor ‘STrue’ cannot be used here
(it comes from a data family instance)
• In the third argument of ‘ElimBool’, namely ‘STrue’
In the type family declaration for ‘ElimBool’
|