-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
+tcfail023.hs:1:
+ Duplicate or overlapping instance declarations
+ for `A B' at tcfail023.hs:11 and tcfail023.hs:14
-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
+tcfail023.hs:11:
+ Couldn't match `B' against `Bool'
+ Expected type: B
+ Inferred type: Bool
+ In the right-hand side of an equation for `op': True
-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
-
-tcfail023.hs:11: Couldn't match the type
- `PrelBase.Bool' against `B'
- Expected: `PrelBase.Bool'
- Inferred: `B'
- In an equation for function `op': `op C = PrelBase.True'
-
-tcfail023.hs:8: Couldn't match the type `PrelBase.Bool' against `B'
- Expected: `PrelBase.Bool'
- Inferred: `B'
- In an equation for function `op': `op C = PrelBase.True'
-
-tcfail023.hs:2: Module Main must include a definition for `Main.main'
+tcfail023.hs:14:
+ Couldn't match `B' against `Bool'
+ Expected type: B
+ Inferred type: Bool
+ In the right-hand side of an equation for `op': True
+
Compilation had errors
+