Re: [tlaplus] Are miscellaneous constructs in pluscal syntax

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

On Friday, September 1, 2023 at 8:36:59 AM UTC-7 Stephan Merz wrote:

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

Stephan

On 1 Sep 2023, at 12:15, Latofat Bobojonova <latofatb...@xxxxxxxxx> wrote:

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

--
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...@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/59792da2-4a95-4e12-bb32-cc245440755an%40googlegroups.com.

tlaplus+unsubscribe@xxxxxxxxxxxxxxxx

https://groups.google.com/d/msgid/tlaplus/b39e80a7-0af7-441b-aa71-917317ce12d5n%40googlegroups.com