Strings

87 views
Skip to first unread message

Igor Kim

unread,
Oct 24, 2020, 11:23:11 PM10/24/20
to tlaplus
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 :(

Markus Kuppe

unread,
Oct 27, 2020, 1:24:54 PM10/27/20
to tla...@googlegroups.com
Please see https://github.com/tlaplus/tlaplus/issues/512

Thanks,
Markus

Igor Kim

unread,
Oct 27, 2020, 6:17:28 PM10/27/20
to tlaplus
Got it thank you!

Leslie Lamport

unread,
Oct 27, 2020, 7:36:36 PM10/27/20
to tla...@googlegroups.com
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.

L.

-----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 :(

Please see https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Ftlaplus%2Ftlaplus%2Fissues%2F512&amp;data=04%7C01%7Clamport%40microsoft.com%7Cb6c9968c6e2141ecac0308d87a9d406a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394163518418112%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&amp;sdata=tcfkG7Whum73WxX%2B4s6isDjkgVGwFkqus0QCNFVfbEs%3D&amp;reserved=0

Thanks,
Markus

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Ftlaplus%2Fd81e895c-c441-693f-29ee-a7b1278e4da0%2540lemmster.de&amp;data=04%7C01%7Clamport%40microsoft.com%7Cb6c9968c6e2141ecac0308d87a9d406a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394163518428107%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&amp;sdata=XXIL52qg%2Bix88S%2BPo98t9q99PPQ1%2B6560C4QFOGKgTc%3D&amp;reserved=0.
Reply all
Reply to author
Forward
0 new messages