diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-19 21:44:17 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-24 20:35:56 -0400 |
| commit | 4d5967b5148d5502d7c53a5a321919779c3165e4 (patch) | |
| tree | 7348b3ae363486350fc0be24f9138be5362be9d3 /testsuite/tests/deSugar | |
| parent | 138b7a5775251c330ade870a0b8d1f5c4659e669 (diff) | |
| download | haskell-4d5967b5148d5502d7c53a5a321919779c3165e4.tar.gz | |
Fixes around incomplete guards (#20023, #20024)
- Fix linearity error with incomplete MultiWayIf (#20023)
- Fix partial pattern binding error message (#20024)
- Remove obsolete test LinearPolyTest
It tested the special typing rule for ($), which was removed
during the implementation of Quick Look 97cff9190d3.
- Fix ticket numbers in linear/*/all.T, they referred to linear types
issue tracker
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_run/T20024.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_run/T20024.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_run/all.T | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_run/T20024.hs b/testsuite/tests/deSugar/should_run/T20024.hs new file mode 100644 index 0000000000..560c48852b --- /dev/null +++ b/testsuite/tests/deSugar/should_run/T20024.hs @@ -0,0 +1,2 @@ +module Main where +main = let (x,y) | False = (1,2) in print x diff --git a/testsuite/tests/deSugar/should_run/T20024.stderr b/testsuite/tests/deSugar/should_run/T20024.stderr new file mode 100644 index 0000000000..24e6227fdc --- /dev/null +++ b/testsuite/tests/deSugar/should_run/T20024.stderr @@ -0,0 +1,2 @@ +T20024: T20024.hs:2:12-32: Non-exhaustive guards in pattern binding + diff --git a/testsuite/tests/deSugar/should_run/all.T b/testsuite/tests/deSugar/should_run/all.T index c9ef02c074..ce3185c213 100644 --- a/testsuite/tests/deSugar/should_run/all.T +++ b/testsuite/tests/deSugar/should_run/all.T @@ -73,3 +73,4 @@ test('DsMonadCompFailMsg', exit_code(1), compile_and_run, ['']) test('T19289', normal, compile_and_run, ['']) test('T19680', normal, compile_and_run, ['']) test('T19680A', normal, compile_and_run, ['']) +test('T20024', exit_code(1), compile_and_run, ['']) |