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

Fixed the test for the transformConstr pass

Browse Source
This commit is contained in:
Neil Brown 2009-02-03 12:37:32 +00:00
parent 78606faaae
commit 359763380e
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
transformations/PassTest.hs
View File

@ -230,10 +230,10 @@ testTransformConstr0 = TestCase $ testPass "transformConstr0" exp transformConst
t = A.Array [dimension 10] A.Int t = A.Array [dimension 10] A.Int
orig = A.Spec m (A.Specification m (simpleName "arr") $ orig = A.Spec m (A.Specification m (simpleName "arr") $
A.IsExpr m A.ValAbbrev t $ A.ExprConstr m $ A.IsExpr m A.ValAbbrev t $ A.Literal m t $ A.ArrayListLiteral m $
A.RepConstr m t (simpleName "x") (A.For m (intLiteral 0) (intLiteral 10) A.Spec m (A.Specification m (simpleName "x") (A.Rep m (A.For m (intLiteral 0) (intLiteral 10)
(intLiteral 1)) (intLiteral 1))))
(exprVariable "x")) skipP $ (A.Only m $ exprVariable "x")) skipP
exp = nameAndStopCaringPattern "indexVar" "i" $ mkPattern exp' exp = nameAndStopCaringPattern "indexVar" "i" $ mkPattern exp'
exp' = A.Spec m (A.Specification m (simpleName "arr") (A.Declaration m t)) $ exp' = A.Spec m (A.Specification m (simpleName "arr") (A.Declaration m t)) $
A.ProcThen m A.ProcThen m
@ -242,7 +242,7 @@ testTransformConstr0 = TestCase $ testPass "transformConstr0" exp transformConst
A.Several m [A.Only m $ A.Assign m [variable "i"] $ A.Several m [A.Only m $ A.Assign m [variable "i"] $
A.ExpressionList m [intLiteral 0], A.ExpressionList m [intLiteral 0],
A.Spec m (A.Specification m (simpleName "x") $ A.Rep m (A.For m (intLiteral 0) (intLiteral 10) (intLiteral 1))) $ A.Spec m (A.Specification m (simpleName "x") $ A.Rep m (A.For m (intLiteral 0) (intLiteral 10) (intLiteral 1))) $
A.Only m $ A.Seq m $ A.Several m A.Several m
[A.Only m $ A.Assign m [A.Only m $ A.Assign m
[A.SubscriptedVariable m (A.Subscript m A.NoCheck $ [A.SubscriptedVariable m (A.Subscript m A.NoCheck $
exprVariable "i") (variable "arr")] $ exprVariable "i") (variable "arr")] $