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

Re: Jumping to end of process in PlusCal?

From: Elliott Jin <ellio...@xxxxxxxxx>
Date: Sat, 6 Aug 2016 20:27:51 -0700 (PDT)
References: <d5e0115f-82bd-4219-98c4-2a056522121a@googlegroups.com> <828b288d-ea21-4676-9a4a-d766fab12495@googlegroups.com>

Thanks! This approach is much nicer.

On Friday, July 29, 2016 at 11:58:31 AM UTC-7, Leslie Lamport wrote:

There is an implicit label "Done" at the end of the process, so you can write

goto Done

Leslie

References:
- Jumping to end of process in PlusCal?
  - From: Elliott Jin
- Re: Jumping to end of process in PlusCal?
  - From: Leslie Lamport

Prev by Date: Experimenting with PlusCal / TLA+ at Dropbox
Next by Date: LTL axiomatic system
Previous by thread: Re: Jumping to end of process in PlusCal?
Next by thread: Experimenting with PlusCal / TLA+ at Dropbox
Index(es):
- Date
- Thread