Re: [tlaplus] Some feedback from a new user

[Yan Li <elliot....@xxxxxxxxx>]

>> I don't know what you mean by PlusCal sometimes requiring ";" after
>> closing braces.  Unlike in C, ";" is a separator, not a closing
>> symbol.
> 
> I mostly ran into it with the following construct:
> while (...) {
>  ...
> }; <-- the ; is required
> ...
> 
> E.g.
> while (FALSE) {
>  print "foo";
> };
> print "bar”;

I can testify to that too. For a complex algorithm I’ve to add dozens of this kind of semicolons before I can make the compiler (or translator) happy.

—
Elliot