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

Re: [tlaplus] Pcal, procedures and tests

From: fl <freder...@xxxxxxxxxxx>
Date: Fri, 10 Apr 2015 08:08:08 -0700 (PDT)
References: <050eae7c-ab39-487c-a0cc-1b71bba4a680@googlegroups.com> <4308200b-ddf9-4324-97ac-8badb24bcb41@googlegroups.com> <ab84dfc6-8404-4238-b75b-921ac8684e31@googlegroups.com> <E337D4AA-1C1B-461B-BBC3-052509675963@gmail.com> <4363c179-1bb8-45ba-bd9c-f02747b0ed4f@googlegroups.com> <367B41E1-FDCF-4DB5-B630-64B145B8F57A@gmail.com>

SelectSeq(u, LAMBDA x : Test(1,2,x))

Nice! that's exactly what I want. I had not yet used the LAMBDA feature. It is a good opportunity to do that.

--

FL

References:
- Pcal, procedures and tests
  - From: fl
- Re: Pcal, procedures and tests
  - From: Leslie Lamport
- Re: Pcal, procedures and tests
  - From: fl
- Re: [tlaplus] Pcal, procedures and tests
  - From: Stephan Merz
- Re: [tlaplus] Pcal, procedures and tests
  - From: fl
- Re: [tlaplus] Pcal, procedures and tests
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Pcal, procedures and tests
Next by Date: Re: Pcal, procedures and tests
Previous by thread: Re: [tlaplus] Pcal, procedures and tests
Next by thread: Re: Pcal, procedures and tests
Index(es):
- Date
- Thread