Skip to content
Snippets Groups Projects
Commit bd9f5589 authored by Ben Gamari's avatar Ben Gamari
Browse files

testsuite: Add test for #18151

parent d6203f24
No related merge requests found
-- 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
()
\ No newline at end of file
......@@ -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, [''])
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment