Commit 1d51cc88 authored by pcapriotti's avatar pcapriotti
Browse files

Add testcase for #7060

parent 003fc455
......@@ -503,3 +503,26 @@ T5198:
"$(TEST_HC)" $(TEST_HC_OPTS_NO_RECOMP) -c T5198.hs -dumpdir T5198dump -ddump-to-file -ddump-simpl
[ -f T5198dump/T5198.dump-simpl ]
.PHONY: T7060a
T7060a:
$(RM) -rf T7060dump
[ ! -d T7060dump ]
"$(TEST_HC)" $(TEST_HC_OPTS_NO_RECOMP) -O -c T7060.hs -dumpdir T7060dump -ddump-to-file -ddump-rules
[ -f T7060dump/T7060.dump-rules ]
.PHONY: T7060b
T7060b:
$(RM) -rf T7060dump
[ ! -d T7060dump ]
"$(TEST_HC)" $(TEST_HC_OPTS_NO_RECOMP) -O -c T7060.hs -dumpdir T7060dump -ddump-to-file -ddump-rule-firings
[ -f T7060dump/T7060.dump-rule-firings ]
.PHONY: T7060c
T7060c:
$(RM) -rf T7060dump
[ ! -d T7060dump ]
"$(TEST_HC)" $(TEST_HC_OPTS_NO_RECOMP) -O -c T7060.hs -dumpdir T7060dump -ddump-to-file -ddump-rule-rewrites
[ -f T7060dump/T7060.dump-rule-rewrites ]
.PHONY: T7060
T7060: T7060a T7060b T7060c
main :: IO ()
main = print (3 + 4 :: Int)
{-# RULES "rule" forall xs . map id xs = xs #-}
......@@ -354,3 +354,10 @@ test('T5584', normal, run_command,
test('T5198', extra_clean(['T5198dump/T5198.dump-simpl', 'T5198dump']),
run_command,
['$MAKE -s --no-print-directory T5198'])
test('T7060',
extra_clean(['T7060dump/T7060.dump-rules',
'T7060dump/T7060.dump-rule-firings',
'T7060dump/T7060.dump-rule-rewrites',
'T7060dump']),
run_command,
['$MAKE -s --no-print-directory T7060'])
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