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

Update spec to match what the code now produces for inputs

Browse Source
This commit is contained in:
Adam Sampson 2006-10-03 00:23:42 +00:00
parent eae0f9d1d8
commit a503385f6f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fco/soccam-2.1-spec.txt
View File

@ -72,7 +72,7 @@
<guarded.alternative>
<alternation>
(?case <channel> <variant>+)
(?case-guarded <boolean> <channel> <variant>+)
(cond <boolean> (?case <channel> <variant>+))
(: <specification> <alternative>)
<assignment> :=
@ -220,8 +220,8 @@
<guard> :=
<input>
(guarded <boolean> <input>) ;; overloaded meaning of "guard" here
(guarded <boolean> skip)
(cond <boolean> <input>)
(cond <boolean> skip)
<guarded.alternative> :=
(<guard> <process>)