testsuite/tests/simplCore/should_compile/T4398.stderr


1
2
3
4
5
6


T4398.hs:6:11: warning:
    Forall'd constraint ‘Ord a’ is not bound in RULE lhs
      Orig bndrs: [a, $dOrd, x, y]
      Orig lhs: f @a ((\ ($dOrd :: Ord a) -> x) $dOrd) y
      optimised lhs: f @a x y