blob: 7284fbdbf7f26904f62c63ca342ae91cb4a92627 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T19921.hs:29:8: error: [GHC-05617]
• Could not deduce ‘r’
arising from the head of a quantified constraint
arising from the head of a quantified constraint
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
|