blob: 161cfe026a0a1faced3c712c35844d1994b949e2 (
plain)
1
2
3
4
5
6
7
8
9
|
T15799.hs:46:62: error:
Expected a constraint, but ‘UnOp b <= a’ has kind ‘*’
T15799.hs:46:67: error:
• Couldn't match kind ‘TypeLits.Natural’ with ‘Op Nat’
Expected kind ‘Op (Op Nat)’, but ‘b’ has kind ‘Op Nat’
• In the first argument of ‘UnOp’, namely ‘b’
In the first argument of ‘(<=)’, namely ‘UnOp b’
|