aboutsummaryrefslogtreecommitdiff
path: root/tests/i/loops
diff options
context:
space:
mode:
Diffstat (limited to 'tests/i/loops')
-rw-r--r--tests/i/loops/notes.md2
-rw-r--r--tests/i/loops/program.cps4
2 files changed, 3 insertions, 3 deletions
diff --git a/tests/i/loops/notes.md b/tests/i/loops/notes.md
index 6979d92..bdd322a 100644
--- a/tests/i/loops/notes.md
+++ b/tests/i/loops/notes.md
@@ -6,4 +6,4 @@ Basis: CIE pp. 20-21.
Trace: FOR contributions are 0, 2, and 3+1-1=3. WHILE contributes 0+1+2=3. REPEAT contributes 10 once, then counts to 3. Total=18.
-The project requires DO after WHILE; this fixture uses that spelling to exercise runtime semantics. The separate standard-while fixture tests the CIE spelling.
+WHILE headers use the standard CIE spelling without DO. The separate standard-while fixture also checks this syntax.
diff --git a/tests/i/loops/program.cps b/tests/i/loops/program.cps
index a858e6c..d30b463 100644
--- a/tests/i/loops/program.cps
+++ b/tests/i/loops/program.cps
@@ -10,11 +10,11 @@ NEXT I
FOR I <- 3 TO -1 STEP -2
Total <- Total + I
NEXT I
-WHILE FALSE DO
+WHILE FALSE
Total <- Total + 1000
ENDWHILE
I <- 0
-WHILE I < 3 DO
+WHILE I < 3
Total <- Total + I
I <- I + 1
ENDWHILE