testsuite/tests/simplCore/should_compile/T4398.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22


T4398.hs:6:11: warning:
    Forall'd constraint ‘Ord a’ is not bound in RULE lhs
      Orig bndrs: [a, $dOrd, x, y]
      Orig lhs: let {
                  $dEq :: Eq a
                  [LclId]
                  $dEq = GHC.Classes.$p1Ord @ a $dOrd } in
                f @ a
                  ((\ ($dOrd :: Ord a) ->
                      let {
                        $dEq :: Eq a
                        [LclId]
                        $dEq = GHC.Classes.$p1Ord @ a $dOrd } in
                      let {
                        $dEq :: Eq a
                        [LclId]
                        $dEq = GHC.Classes.$p1Ord @ a $dOrd } in
                      x)
                     $dOrd)
                  y
      optimised lhs: f @ a x y