Commit b0486189 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #5366

parent cfcd6b83
......@@ -88,3 +88,6 @@ T7165:
'$(TEST_HC)' $(TEST_HC_OPTS) -c -O2 T7165a.hs -dcore-lint
'$(TEST_HC)' $(TEST_HC_OPTS) -c -O2 T7165.hs -dcore-lint
T5366:
$(RM) -f T5366.hi T5366.o
'$(TEST_HC)' $(TEST_HC_OPTS) -ddump-simpl -dsuppress-uniques -c -O T5366.hs | grep 'Bar.*I#'
module T5366 where
newtype Id a = Id Int
data Foo = Foo {-# UNPACK #-} !(Id Foo) String
data Bar = Bar {-# UNPACK #-} !Foo
f :: Bar -> Int
f (Bar (Foo (Id x) _)) = x
case ds of _ { T5366.Bar dt [Occ=Once] _ -> GHC.Types.I# dt }}]
case ds of _ { T5366.Bar dt dt1 -> GHC.Types.I# dt }
......@@ -156,3 +156,7 @@ test('T7165',
['$MAKE -s --no-print-directory T7165'])
test('T7287', normal, compile, [''])
test('T7360', only_ways(['optasm']), compile, ['-ddump-simpl -dsuppress-uniques'])
test('T5366',
normal,
run_command,
['$MAKE -s --no-print-directory T5366'])
Supports Markdown
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