diff options
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr | 28 | ||||
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr | 9 |
2 files changed, 37 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr new file mode 100644 index 0000000000..f539eb137f --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr @@ -0,0 +1,28 @@ + +tcfail069.hs:21: Couldn't match the type + `PrelBase.[]' against `PrelTup.(,) [PrelBase.Int]' + Expected: `[t{-aF1-}]' + Inferred: `([PrelBase.Int], [PrelBase.Int])' + In a "case" branch: + `PrelBase.[]' + -> `IOBase.error + "foo"' + In a case expression: + `case (list1, (list2)) of + PrelBase.[] + -> IOBase.error + "foo"' + In an equation for function `too_much': + `too_much ds ((k, m) PrelBase.: q1) s0 + = case (list1, (list2)) of + PrelBase.[] + -> IOBase.error + "foo" + where + list2 + = ds + list1 + = ds' + + +Compilation had errors diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr new file mode 100644 index 0000000000..f5acaae2dc --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr @@ -0,0 +1,9 @@ + +tcfail070.hs:13: Couldn't match the kind + * against * -> ka2141 + When unifying two kinds + * and * -> ka2141 + In the type declaration for `State' + + +Compilation had errors |