blob: a233fb4f507e0f95f43a5d34d8ff4ec5934dc2ef (
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"
|
