blob: 5dfdb4a57084a3a767dadb69ba5631ccac3a25d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
ExplicitForAllRules1.hs:49: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:49:31: warning: [-Wunused-foralls (in -Wextra)]
Unused quantified type variable ‘b’
in the rule "example7"
|