Are miscellaneous constructs in pluscal syntax

[Latofat Bobojonova]

Hello,

I was wondering if definitions such as 

- LET IN

- CASE ... OTHER 

can come in pluscal scope? (i.e. inside -- algortihm).

I found them in pluscal documentations but I think they are explicitly pure TLA+ code and testing it on my IDE proved it right. Just wanted to double check it here and get more context on why is that so and if there is a list of such "only TLA+" things.

Many thanks,

Latofat 

[Stephan Merz]

The expression language of PlusCal is TLA+, and therefore all these constructions may occur within expressions of a PlusCal algorithm.

Stephan

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/59792da2-4a95-4e12-bb32-cc245440755an%40googlegroups.com.

[Leslie Lamport]

I believe that Latofat is looking for something similar to programming-language constructs rather than operators that can appear in expressions.  There is no such "case" statement in PlusCal, but the PlusCal "with" statement (when used in the form "with variable = ...") acts like a LET/IN statement.

Leslie