Commit 0bc0e7d3 authored by Joachim Breitner's avatar Joachim Breitner Committed by Jan Stolarek

Add test cases for T457

(fixes #457)
parent 5eae0ada
f x = case x of
x@True -> \y -> x && y
x@False -> \y -> x && y
main = putStrLn $ f (error "Correct") `seq` "Error"
......@@ -59,3 +59,5 @@ test('T5997', normal, compile_and_run, [''])
test('T7101', normal, compile_and_run, [''])
test('T7924', exit_code(1), compile_and_run, [''])
# Run this test *without* optimisation too
test('T457', [ only_ways(['normal','optasm']), exit_code(1) ], compile_and_run, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment