Make this test a bit simpler
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 31 Oct 2014 12:28:42 +0000 (12:28 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 4 Nov 2014 10:38:07 +0000 (10:38 +0000)
There were two unrelated functions, and the `-ddump-rule-firings` output
was coming in a non-deterministic order as a result. So now there is just
one function.

testsuite/tests/simplCore/should_compile/T6056.hs
testsuite/tests/simplCore/should_compile/T6056.stderr

index e24631d..d2d8349 100644 (file)
@@ -1,8 +1,6 @@
 module T6056 where
 import T6056a
 
-foo1 :: Int -> (Maybe Int, [Int])
-foo1 x = smallerAndRest x [x]
+foo :: Int -> (Maybe Int, [Int])
+foo x = smallerAndRest x [x]
 
-foo2 :: Integer -> (Maybe Integer, [Integer])
-foo2 x = smallerAndRest x [x]
index d9d4193..5695bd5 100644 (file)
@@ -1,13 +1,6 @@
 Rule fired: foldr/nil
-Rule fired: foldr/nil
-Rule fired: SPEC/T6056 $wsmallerAndRest @ Integer
 Rule fired: SPEC/T6056 $wsmallerAndRest @ Int
 Rule fired: Class op <
-Rule fired: Class op <
-Rule fired: SPEC/T6056 $wsmallerAndRest @ Integer
-Rule fired: SPEC/T6056 $wsmallerAndRest @ Integer
 Rule fired: SPEC/T6056 $wsmallerAndRest @ Int
 Rule fired: SPEC/T6056 $wsmallerAndRest @ Int
 Rule fired: SPEC/T6056 $wsmallerAndRest @ Int
-Rule fired: SPEC/T6056 $wsmallerAndRest @ Integer
-