testsuite/tests/ghci/scripts/T14969.stderr


1
2
3
4
5
6
7


<interactive>:2:1: error:
    • Non type-variable argument
        in the constraint: Num (t2 -> t1 -> t3)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        it :: forall {t1} {t2} {t3}. (Num t1, Num (t2 -> t1 -> t3)) => t3