From 5a42b7eb0c3b87d6c1c066c6b42c9c874305c707 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 7 Mar 2008 15:52:05 +0000 Subject: [PATCH] Corrected a test for abbreviating array variables --- backends/BackendPassesTest.hs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/backends/BackendPassesTest.hs b/backends/BackendPassesTest.hs index 3de5148..7f370ab 100644 --- a/backends/BackendPassesTest.hs +++ b/backends/BackendPassesTest.hs @@ -199,12 +199,7 @@ instance Arbitrary AbbrevTypesIs where case d of A.UnknownDimension -> return A.UnknownDimension _ -> oneof [return d, return A.UnknownDimension] - subs <- replicateM (length srcDims - length destDims) $ oneof - [return $ A.Subscript emptyMeta (A.True emptyMeta) - ,return $ A.SubscriptFromFor emptyMeta (A.True emptyMeta) (A.True emptyMeta) - ,return $ A.SubscriptFrom emptyMeta (A.True emptyMeta) - ,return $ A.SubscriptFor emptyMeta (A.True emptyMeta) - ] + subs <- replicateM (length srcDims - length destDims) $ return $ A.Subscript emptyMeta (A.True emptyMeta) return $ AbbrevTypesIs (srcDims, destDims, subs) qcTestDeclareSizes :: [LabelledQuickCheckTest]