diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-09 14:25:49 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-01 06:33:37 -0400 |
| commit | b0c1f2a619855a6fa22021a3118365c49f4cc0c4 (patch) | |
| tree | b2c0db42884594fbd00c125d22eb63eed662e456 | |
| parent | 389920858e0b9efe5234cb7dac55d06e955768f7 (diff) | |
| download | haskell-b0c1f2a619855a6fa22021a3118365c49f4cc0c4.tar.gz | |
testsuite: Add test for #18151
| -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, ['']) |