diff options
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_run/T18151.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_run/T18151.stdout | 1 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_run/all.T | 1 |
3 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_run/T18151.hs b/testsuite/tests/deSugar/should_run/T18151.hs new file mode 100644 index 0000000000..b17c8a9ff0 --- /dev/null +++ b/testsuite/tests/deSugar/should_run/T18151.hs @@ -0,0 +1,10 @@ +-- According to the Report this should reduce to (). However, in #18151 it was +-- reported that GHC bottoms. +x :: () +x = seq (True `undefined`) () +{-# NOINLINE x #-} + +main :: IO () +main = do + print x + diff --git a/testsuite/tests/deSugar/should_run/T18151.stdout b/testsuite/tests/deSugar/should_run/T18151.stdout new file mode 100644 index 0000000000..dd626a0f31 --- /dev/null +++ b/testsuite/tests/deSugar/should_run/T18151.stdout @@ -0,0 +1 @@ +()
\ No newline at end of file diff --git a/testsuite/tests/deSugar/should_run/all.T b/testsuite/tests/deSugar/should_run/all.T index 757d817a0c..009b0a4686 100644 --- a/testsuite/tests/deSugar/should_run/all.T +++ b/testsuite/tests/deSugar/should_run/all.T @@ -63,3 +63,4 @@ test('T11601', exit_code(1), compile_and_run, ['']) test('T11747', normal, compile_and_run, ['-dcore-lint']) test('T12595', normal, compile_and_run, ['']) test('T13285', normal, compile_and_run, ['']) +test('T18151', expect_broken(18151), compile_and_run, ['']) |