Re: [tlaplus] Are miscellaneous constructs in pluscal syntax

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

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9F252A85-14AF-4C55-911A-1A8A6E04AF59%40gmail.com.