testsuite/tests/simplCore/should_compile/simpl016.stderr


1
2
3
4
5
6
7
8
9
10


simpl016.hs:5:1: Warning:
    Forall'd constraint ‘Num b’ is not bound in RULE lhs
      Orig bndrs: [b, $dNum]
      Orig lhs: let {
                  $dEq :: Eq Int
                  [LclId, Str=DmdType]
                  $dEq = GHC.Classes.$fEqInt } in
                delta' @ Int @ b $dEq
      optimised lhs: delta' @ Int @ b $dEq