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

Altered transformProtocolInput to only bother flattening inputs with more than one item

Browse Source
This commit is contained in:
Neil Brown 2008-02-27 17:01:19 +00:00
parent 9b570996ca
commit 5c7bb1296b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
transformations/PassTest.hs
View File

@ -519,7 +519,7 @@ testTransformProtocolInput :: Test
testTransformProtocolInput = TestList testTransformProtocolInput = TestList
[ [
TestCase $ testPass "testTransformProtocolInput0" TestCase $ testPass "testTransformProtocolInput0"
(A.Seq emptyMeta $ A.Several emptyMeta [onlySingle ii0]) (seqItems [ii0])
(transformProtocolInput $ seqItems [ii0]) (transformProtocolInput $ seqItems [ii0])
(return ()) (return ())
,TestCase $ testPass "testTransformProtocolInput1" ,TestCase $ testPass "testTransformProtocolInput1"

2
transformations/SimplifyComms.hs
View File

@ -219,7 +219,7 @@ transformProtocolInput = doGeneric `extM` doProcess
doGeneric = makeGeneric transformProtocolInput doGeneric = makeGeneric transformProtocolInput
doProcess :: A.Process -> PassM A.Process doProcess :: A.Process -> PassM A.Process
doProcess (A.Input m v (A.InputSimple m' iis)) doProcess (A.Input m v (A.InputSimple m' iis@(_:_:_)))
= return $ A.Seq m $ A.Several m $ = return $ A.Seq m $ A.Several m $
map (A.Only m . A.Input m v . A.InputSimple m' . singleton) iis map (A.Only m . A.Input m v . A.InputSimple m' . singleton) iis
doProcess p = doGeneric p doProcess p = doGeneric p