blob: f5c06a654a55a76d17b8b0d3fd02c4aa6b1cfb6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
ExplicitForAllRules1.hs:45:11: warning:
Forall'd type variable ‘k’ is not bound in RULE lhs
Orig bndrs: [k, a, b, x]
Orig lhs: id @ a x
optimised lhs: id @ a x
Forall'd type variable ‘b’ is not bound in RULE lhs
Orig bndrs: [k, a, b, x]
Orig lhs: id @ a x
optimised lhs: id @ a x
ExplicitForAllRules1.hs:45:31: warning: [-Wunused-foralls (in -Wextra)]
Unused quantified type variable ‘b’
in the rule "example7"
|
