Skip to content
Snippets Groups Projects
Commit d8ac64e7 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Add a testcase for #13227

where an expected float-out is not happening.
parent 8dd82ead
No related merge requests found
import Debug.Trace
g x expensive ys = let h = \y -> y + expensive x
in map h ys
{-# NOINLINE g #-}
foo x = trace "Evaluate me only once!" x
main = sum (g 1 foo [1,2,3]) `seq` return ()
Evaluate me only once!
......@@ -73,3 +73,4 @@ test('T12689broken', expect_broken(12689), compile_and_run, [''])
test('T12689a', normal, compile_and_run, [''])
test('T13172', only_ways(['optasm']), compile_and_run, ['-dcore-lint'])
test('T13227', expect_broken(13227), 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