[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Adding raw TLA+ to PlusCal process states

From: Tim Hutt <tdhutt@xxxxxxxxx>
Date: Wed, 25 Feb 2026 08:34:47 +0000
References: <d1c2315d-2560-470a-8d6b-6302ae683257n@googlegroups.com> <621A6035-786C-475D-A895-5CE5897F8DAC@gmail.com> <CAJ-b8syJjRXe+aQTaUjFcJBOhAgmJTd11OboMDGp4c0aXSyjhg@mail.gmail.com>

> I don't recall if you can put a `goto` inside a macro,

Unfortunately you can't.

--
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 visit https://groups.google.com/d/msgid/tlaplus/CAKuVd4A9GwXzZmYB3t%2BHE5KwFeFFNiUn5-b9-9DBwv3XN0zcgw%40mail.gmail.com.

References:
- [tlaplus] Adding raw TLA+ to PlusCal process states
  - From: Tim Hutt
- Re: [tlaplus] Adding raw TLA+ to PlusCal process states
  - From: Stephan Merz
- Re: [tlaplus] Adding raw TLA+ to PlusCal process states
  - From: Hillel Wayne

Prev by Date: Re: [tlaplus] Performance when using tuples
Previous by thread: Re: [tlaplus] Adding raw TLA+ to PlusCal process states
Index(es):
- Date
- Thread