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

*From*: Nam Nguyen <bitsink@xxxxxxxxx>*Date*: Tue, 15 Dec 2020 19:35:51 -0800 (PST)

Hi,

I'm trying the following:

```

CONSTANTS X(_, _)

LOCAL Err == X(1, LAMBDA y: y)

```

This introduces a parsing error at LAMBDA. If I change X to

CONSTANTS X(_, F(_))

then the parsing error is at F.

How do I define a higher-order constant operator?

Thanks!

-- 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/3a468826-b8f0-40af-b8d6-0460adac2b71n%40googlegroups.com.

**Follow-Ups**:**Re: [tlaplus] How do define a higher-order CONSTANT operator?***From:*Stephan Merz

- Prev by Date:
**Re: [tlaplus] Re: Potentially confusing behavior of a PlusCal algorithm** - Next by Date:
**Re: [tlaplus] How do define a higher-order CONSTANT operator?** - Previous by thread:
**[tlaplus] "java.lang.NullPointerException" in cloud based distributed mode** - Next by thread:
**Re: [tlaplus] How do define a higher-order CONSTANT operator?** - Index(es):