Commit 54f5a940 authored by simonpj's avatar simonpj
Browse files

Update output from constraint simplifier

parent fd7d8cd7
tcfail006.hs:5:19:
tcfail006.hs:4:23:
No instance for (Num Bool)
arising from the literal `1' at tcfail006.hs:5:19
arising from the literal `1' at tcfail006.hs:4:23
Possible fix: add an instance declaration for (Num Bool)
In the expression: 1
In the expression: (1, True)
In a case alternative: False -> (1, True)
In the expression: (True, 1)
In a case alternative: True -> (True, 1)
tcfail015.hs:8:32:
tcfail015.hs:7:12:
No instance for (Num Bool)
arising from the literal `1' at tcfail015.hs:8:32
arising from the literal `2' at tcfail015.hs:7:12
Possible fix: add an instance declaration for (Num Bool)
In the second argument of `(+)', namely `1'
In the expression: c + 1
In the definition of `g':
g (ANode b (ANode c d))
| b = c + 1
| otherwise = 4
In the expression: 2
In the definition of `g': g (ANull) = 2
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment