Adjusted an existing testcase for the changes in OccamEDSL

This commit is contained in:
Neil Brown 2008-11-16 12:24:24 +00:00
parent 559ba83c28
commit 42e4ca5c92

View File

@ -626,13 +626,11 @@ testRemoveNesting = TestList
, test "Nested PROC" $ , test "Nested PROC" $
(oPROC "bar" [] ( (oPROC "bar" [] (
oSEQ oSEQ
[decl oINT oX $ [decl oINT oX []]
oempty]
) $ ) $
oPROC "foo" [] ( oPROC "foo" [] (
oSEQ oSEQ
[decl oINT oX $ [decl oINT oX $
oSEQ
[oX *:= return (0::Int) [oX *:= return (0::Int)
,oX *:= return (1::Int)]] ,oX *:= return (1::Int)]]
) oempty) ) oempty)
@ -641,11 +639,9 @@ testRemoveNesting = TestList
oSEQ oSEQ
[oPROC "bar" [] ( [oPROC "bar" [] (
oSEQ oSEQ
[decl oINT oX $ [decl oINT oX []]
oempty]
) $ ) $
decl oINT oX $ decl oINT oX
oSEQ
[oX *:= return (0::Int) [oX *:= return (0::Int)
,oX *:= return (1::Int)]] ,oX *:= return (1::Int)]]
) oempty ) oempty