From 722499b05d160f0ecc2ebaafbecd7daf8bbd5eaa Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 19 Mar 2008 13:29:02 +0000 Subject: [PATCH] Adjusted the test for transformConstr to work properly with the new array constructor type --- transformations/PassTest.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/transformations/PassTest.hs b/transformations/PassTest.hs index 6fae799..b453b98 100644 --- a/transformations/PassTest.hs +++ b/transformations/PassTest.hs @@ -208,10 +208,10 @@ testTransformConstr0 = TestCase $ testPass "transformConstr0" exp (transformCons startState = defineConst "x" A.Int (intLiteral 42) orig = A.Spec m (A.Specification m (simpleName "arr") $ A.IsExpr m A.ValAbbrev (A.Array [dimension 10] A.Int) $ A.ExprConstr m $ - A.RepConstr m undefined (A.For m (simpleName "x") (intLiteral 0) (intLiteral 10)) (exprVariable "x") + A.RepConstr m A.Byte (A.For m (simpleName "x") (intLiteral 0) (intLiteral 10)) (exprVariable "x") ) skipP exp = nameAndStopCaringPattern "indexVar" "i" $ mkPattern exp' - exp' = A.Spec m (A.Specification m (simpleName "arr") (A.Declaration m (A.Array [dimension 10] A.Int))) $ + exp' = A.Spec m (A.Specification m (simpleName "arr") (A.Declaration m (A.Array [A.Dimension 10] A.Int))) $ A.ProcThen m (A.Seq m $ A.Spec m (A.Specification m (simpleName "i") (A.Declaration m A.Int)) $ A.Several m [A.Only m $ A.Assign m [variable "i"] $ A.ExpressionList m [intLiteral 0],