-
-tcfail069.hs:21:
- Couldn't match the type `(aBr, aBt)' against `[aBw]'
- Expected: [aBw]
- Inferred: ([Int], [Int])
- In a "case" branch: [] -> error "foo"
- In the case expression: case (list1, (list2)) of [] -> error "foo"
-
-Compilation had errors
+tcfail069.hs:20:
+ Couldn't match `[t]' against `(t1, t2)'
+ Expected type: [t]
+ Inferred type: (t1, t2)
+ In the scrutinee of a case expression: (list1, list2)
+ In the case expression: case (list1, list2) of [] -> error "foo"