summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr
blob: 428d4b968d3106f3351e5ee47d213a65278bec7e (plain)
1
2
3
4
5
6
7
8
9
10

ExtraTcsUntch.hs:24:53:
    Could not deduce (C [t] [a]) arising from a use of `op'
    from the context (F Int ~ [[t]])
      bound by the inferred type of
               f :: F Int ~ [[t]] => [t] -> ((), ((), ()))
      at ExtraTcsUntch.hs:(21,1)-(25,29)
    In the expression: op x [y]
    In the expression: (h [[undefined]], op x [y])
    In a case alternative: TEx y -> (h [[undefined]], op x [y])