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

Rain: added tests for parsing alt statements

Browse Source
This commit is contained in:
Neil Brown 2007-09-26 19:39:37 +00:00
parent 1f298a8ff6
commit 9cfbed3c6e
1 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
frontends/ParseRainTest.hs
View File

@ -548,6 +548,29 @@ testComm =
,fail ("c ? x , y;",RP.statement) ,fail ("c ? x , y;",RP.statement)
] ]
testAlt :: [ParseTest A.Process]
testAlt =
[
pass("pri alt {}", RP.statement, assertEqual "testAlt 0" $ A.Alt m True $ A.Several m [])
,pass("pri alt { c ? x {} }", RP.statement, assertEqual "testAlt 1" $ A.Alt m True $ A.Several m [A.OnlyA m $ A.Alternative m
(variable "c") (A.InputSimple m [A.InVariable m (variable "x")]) emptyBlock])
,pass("pri alt { c ? x {} d ? y {} }", RP.statement, assertEqual "testAlt 1" $ A.Alt m True $ A.Several m [
A.OnlyA m $ A.Alternative m (variable "c") (A.InputSimple m [A.InVariable m (variable "x")]) emptyBlock
,A.OnlyA m $ A.Alternative m (variable "d") (A.InputSimple m [A.InVariable m (variable "y")]) emptyBlock])
,fail("pri {}",RP.statement)
,fail("alt {}",RP.statement)
,fail("pri alt ;",RP.statement)
,fail("pri alt {",RP.statement)
,fail("pri alt }",RP.statement)
,fail("pri alt { c ? x }",RP.statement)
,fail("pri alt { c ? x ; }",RP.statement)
,fail("pri alt { c ? x {}; }",RP.statement)
,fail("pri alt { c ! x {} }",RP.statement)
,fail("pri alt { {} }",RP.statement)
,fail("pri alt { c = x {} }",RP.statement)
]
testRun :: [ParseTest A.Process] testRun :: [ParseTest A.Process]
testRun = testRun =
[ [
@ -589,7 +612,6 @@ tests = TestList
parseTests testAssign, parseTests testAssign,
parseTests testDataType, parseTests testDataType,
parseTests testComm, parseTests testComm,
parseTests testTime,
parseTests testRun, parseTests testRun,
parseTests testDecl, parseTests testDecl,
parseTests testTopLevelDecl parseTests testTopLevelDecl