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

RE: [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&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+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&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.

-- 
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.