summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T19921.stderr
blob: 4ebc2d227f5b86a9e412805fef9ffbad7190d49c (plain)
1
2
3
4
5
6
7
8
9

T19921.hs:29:8: error: [GHC-05617]
    • Could not deduce ‘r’ arising from a use of ‘Dict’
      from the context: (x \/ y) \/ z
        bound by a quantified context at T19921.hs:29:8-11
      or from: (x ⇒ r, (y \/ z) ⇒ r)
        bound by a quantified context at T19921.hs:29:8-11
    • In the expression: Dict
      In an equation for ‘dict’: dict = Dict