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

Updated a couple of the retypes-sizes tests for the backend

Browse Source
This commit is contained in:
Neil Brown 2008-03-09 19:23:46 +00:00
parent 9533fa9926
commit 9b2f6b9e2b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
backends/GenerateCTest.hs
View File

@ -712,10 +712,10 @@ testRetypeSizes = TestList
,test 4 "if(occam_check_retype(#S,#D,#M)!=1){@}"
(A.Array [A.Dimension 2,A.Dimension 3,A.Dimension 4] A.Int) (A.Array [A.UnknownDimension] A.Byte)
-- Array types with a free dimension should also act like the free type:
,test 100 "if(occam_check_retype(#S,#D,#M)!=1){@}"
-- Array types with a free dimension should not check the return:
,test 100 "occam_check_retype(#S,#D,#M);"
(A.Array [A.UnknownDimension] A.Int) (A.Array [A.Dimension 8] A.Byte)
,test 101 "if(occam_check_retype(#S,#D,#M)!=1){@}"
,test 101 "occam_check_retype(#S,#D,#M);"
(A.Array [A.Dimension 2,A.UnknownDimension,A.Dimension 4] A.Int) (A.Array [A.UnknownDimension] A.Byte)
]
where