Note that, thanks to Hillel Wayne's comment, I pointed out in my comment on this issue that there is currently a bug in the TLC overriding of the Sequences module. It should be simple to fix.
-----Original Message-----
From:
tla...@googlegroups.com <
tla...@googlegroups.com> On Behalf Of Markus Kuppe
Sent: Tuesday, October 27, 2020 10:25 AM
To:
tla...@googlegroups.com
Subject: Re: [tlaplus] Strings
On 24.10.20 20:23, Igor Kim wrote:
> Constant eval:
> "abc"[2]
>
> Error:
> The `Evaluate Constant Expression? section?s evaluation failed. A
> non-function (a string) was applied as a function.
>
> Was expecting:
> b
>
> Feeling dumb :(
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