diff --git a/ghc/tests/deSugar/should_compile/ds003.stderr b/ghc/tests/deSugar/should_compile/ds003.stderr index 482b571640f59eb7323216e22d6d3de97b40d9e5..11e93b05a28a43594bd8852e20d57479e6570d56 100644 --- a/ghc/tests/deSugar/should_compile/ds003.stderr +++ b/ghc/tests/deSugar/should_compile/ds003.stderr @@ -1 +1,4 @@ -Haskell compiler received signal 2 + +ds003.hs:5: Pattern match(es) are overlapped in the definition of function `f': + f (x : (x1 : (x2 : x3))) ~(y, ys) z = ... + f x y True = ... diff --git a/ghc/tests/deSugar/should_compile/ds040.stderr b/ghc/tests/deSugar/should_compile/ds040.stderr index df6ece14aef9bcb2f9ff9ef33b3fa4f7a8adc808..0a7bb3f04aff1609951f2482da13b782a9bb4841 100644 --- a/ghc/tests/deSugar/should_compile/ds040.stderr +++ b/ghc/tests/deSugar/should_compile/ds040.stderr @@ -1,4 +1,3 @@ ds040.hs:7: Pattern match(es) are overlapped in the definition of function `^^^^': ^^^^ _ _ = ... -NOTE: Simplifier still going after 4 iterations; bailing out. diff --git a/ghc/tests/deSugar/should_compile/ds041.stderr b/ghc/tests/deSugar/should_compile/ds041.stderr new file mode 100644 index 0000000000000000000000000000000000000000..90e2ce2f568a7cfd10a25559e930f4884bfe4f05 --- /dev/null +++ b/ghc/tests/deSugar/should_compile/ds041.stderr @@ -0,0 +1,5 @@ + +ds041.hs:15: + Warning: Field `x' is not initialised + In the record construction: Foo {} + In the right-hand side of a pattern binding: Foo {}