A forum for Spin users
You are not logged in.
Pages: 1
The new version of Spin, with support for parallel breadth-first search
and for priority-based scheduling.
Details are in the online documentation, in the usual places, and will
be presented at the next Spin Workshop in Oxford, England,
July 23-24, 2012.
Offline
I tried the new versions of Spin and ispin today and noticed a difference with Spin610.
Take the following code as an example. It is syntactically correct with Spin 610 but wrong with Spin 620. If "->" is nothing but a separator, this code should be fine.
Does Spin 620 use a different rule for "->"? Must it be followed by a statement?
active proctype x()
{
byte i;
for (i : 0..9)
{
printf("%d\n", i) ->
}
}
Offline
true, there is a slightly different treatment of -> in 6.2.0
it is now parsed as a real token -- before it was intercepted in the lexical analyzer and converted into a ';'
the new treatment makes it possible to be a little more precise in other cases.
in either case, technically the trailing ';' or '->' is illegal in the language, since the ';' or '->' are statement separators not statement terminators. the parser/lexical analyzer is forgiving when it sees a redundant ';' -- but it has not been taught to be forgiving for redundant '->' tokens (since they weren't separate tokens before)....
Offline
Pages: 1