Fixed a couple of tests for a Rain pass

This commit is contained in:
Neil Brown 2008-03-09 18:43:22 +00:00
parent 0711a818ad
commit 3d1aae72fc

View File

@ -83,7 +83,7 @@ testEachPass0 = TestCase $ testPassWithItemsStateCheck "testEachPass0" exp (tran
--ValAbbrev because we are abbreviating an expression: --ValAbbrev because we are abbreviating an expression:
(mIs A.ValAbbrev A.Byte (mIs A.ValAbbrev A.Byte
(mSubscriptedVariable (mSubscriptedVariable
(mSubscript (mExprVariable (mVariable indexVar))) (mSubscript A.NoCheck (mExprVariable (mVariable indexVar)))
listVar listVar
) )
) )
@ -127,7 +127,7 @@ testEachPass1 = TestCase $ testPassWithItemsStateCheck "testEachPass0" exp (tran
(tag3 A.Specification DontCare (simpleName "c") (tag3 A.Specification DontCare (simpleName "c")
(tag4 A.Is DontCare A.Abbrev A.Byte (tag4 A.Is DontCare A.Abbrev A.Byte
(tag3 A.SubscriptedVariable DontCare (tag3 A.SubscriptedVariable DontCare
(tag2 A.Subscript DontCare (tag2 A.ExprVariable DontCare (tag2 A.Variable DontCare indexVar))) (mSubscript A.NoCheck (tag2 A.ExprVariable DontCare (tag2 A.Variable DontCare indexVar)))
(variable "d") (variable "d")
) )
) )