diff options
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/arrows/should_compile/T21301.hs | 10 | ||||
-rw-r--r-- | testsuite/tests/arrows/should_compile/T21301.stderr | 1 | ||||
-rw-r--r-- | testsuite/tests/arrows/should_compile/all.T | 1 |
3 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/arrows/should_compile/T21301.hs b/testsuite/tests/arrows/should_compile/T21301.hs new file mode 100644 index 0000000000..52e1e5ae13 --- /dev/null +++ b/testsuite/tests/arrows/should_compile/T21301.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE Arrows, EmptyCase #-} + +import Control.Arrow + +main = print $ baz (Just 43) + +baz :: ArrowChoice p => p (Maybe Int) String +baz = proc x -> + (| id (case () of) + |) x diff --git a/testsuite/tests/arrows/should_compile/T21301.stderr b/testsuite/tests/arrows/should_compile/T21301.stderr new file mode 100644 index 0000000000..ac9dc11858 --- /dev/null +++ b/testsuite/tests/arrows/should_compile/T21301.stderr @@ -0,0 +1 @@ +T21301: T21301.hs:(8,7)-(10,6): Non-exhaustive patterns in case diff --git a/testsuite/tests/arrows/should_compile/all.T b/testsuite/tests/arrows/should_compile/all.T index 6d7e1b4102..781a26953b 100644 --- a/testsuite/tests/arrows/should_compile/all.T +++ b/testsuite/tests/arrows/should_compile/all.T @@ -18,3 +18,4 @@ test('T5283', normal, compile, ['']) test('T5333', normal, compile, ['']) test('T18950', normal, compile, ['']) test('T15175', normal, compile, ['']) +test('T21301', [exit_code(1)], compile_and_run, ['']) |