suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Corrected a test for abbreviating array variables

Browse Source
This commit is contained in:
Neil Brown 2008-03-07 15:52:05 +00:00
parent fdef3b1924
commit 5a42b7eb0c
1 changed files with 1 additions and 6 deletions

7
backends/BackendPassesTest.hs
View File

@ -199,12 +199,7 @@ instance Arbitrary AbbrevTypesIs where
case d of case d of
A.UnknownDimension -> return A.UnknownDimension A.UnknownDimension -> return A.UnknownDimension
_ -> oneof [return d, return A.UnknownDimension] _ -> oneof [return d, return A.UnknownDimension]
subs <- replicateM (length srcDims - length destDims) $ oneof subs <- replicateM (length srcDims - length destDims) $ return $ A.Subscript emptyMeta (A.True emptyMeta)
[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)
]
return $ AbbrevTypesIs (srcDims, destDims, subs) return $ AbbrevTypesIs (srcDims, destDims, subs)
qcTestDeclareSizes :: [LabelledQuickCheckTest] qcTestDeclareSizes :: [LabelledQuickCheckTest]