[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [tlaplus] Strings
- From: "'Leslie Lamport' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>
- Date: Tue, 27 Oct 2020 23:36:33 +0000
- Accept-language: en-US
- Msip_labels: MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ActionId=6d33bef1-31f4-4726-a2d4-557bcc0aec76;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ContentBits=0;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Enabled=true;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Method=Standard;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Name=Internal;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SetDate=2020-10-27T23:35:03Z;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SiteId=72f988bf-86f1-41af-91ab-2d7cd011db47;
- References: <6e12a6b7-b1dc-4dd9-ad05-f1ac16dd9308n@googlegroups.com> <d81e895c-c441-693f-29ee-a7b1278e4da0@lemmster.de>
- Thread-index: AQHWqn5r+jXsbzbnU0+1G0TjAvwhOqmrtyGAgABneKA=
- Thread-topic: [tlaplus] Strings
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: tlaplus@xxxxxxxxxxxxxxxx <tlaplus@xxxxxxxxxxxxxxxx> On Behalf Of Markus Kuppe
Sent: Tuesday, October 27, 2020 10:25 AM
To: tlaplus@xxxxxxxxxxxxxxxx
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&data=04%7C01%7Clamport%40microsoft.com%7Cb6c9968c6e2141ecac0308d87a9d406a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394163518418112%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=tcfkG7Whum73WxX%2B4s6isDjkgVGwFkqus0QCNFVfbEs%3D&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+unsubscribe@xxxxxxxxxxxxxxxx.
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&data=04%7C01%7Clamport%40microsoft.com%7Cb6c9968c6e2141ecac0308d87a9d406a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637394163518428107%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=XXIL52qg%2Bix88S%2BPo98t9q99PPQ1%2B6560C4QFOGKgTc%3D&reserved=0.
--
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/CY4PR21MB1556D1931018DC91E4826DDAB8160%40CY4PR21MB1556.namprd21.prod.outlook.com.