Zulip Chat Archive
Stream: triage
Topic: issue #4985: Avoid restating multiplicatively many `foo_h...
Random Issue Bot (Jan 05 2021 at 14:29):
Today I chose issue 4985 for discussion!
Avoid restating multiplicatively many foo_hom.map_bar
Created by @Anne Baanen (@Vierkantor) on 2020-11-12
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 05 2021 at 14:18):
Today I chose issue 4985 for discussion!
Avoid restating multiplicatively many foo_hom.map_bar
Created by @Anne Baanen (@Vierkantor) on 2020-11-12
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Anne Baanen (Dec 06 2021 at 11:00):
#9888 is ready for review!
Random Issue Bot (Dec 26 2021 at 14:17):
Today I chose issue 4985 for discussion!
Avoid restating multiplicatively many foo_hom.map_bar
Created by @Anne Baanen (@Vierkantor) on 2020-11-12
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Anne Baanen (Dec 27 2021 at 10:01):
Before Christmas, I was working on the linear map case, and had some issues with the simplifier. Once I'm back at my workstation, I'll see if either the simplifier can be made smarter, or I can realign the classes so they work.
Random Issue Bot (Jan 21 2022 at 14:16):
Today I chose issue 4985 for discussion!
Avoid restating multiplicatively many foo_hom.map_bar
Created by @Anne Baanen (@Vierkantor) on 2020-11-12
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Anne Baanen (Jan 21 2022 at 14:18):
The simplifier is now smarter and the start of the subobject refactor #11545 is building. Hopefully I get some time to actually finish everything in the next couple of weeks...
Random Issue Bot (Jun 07 2022 at 14:20):
Today I chose issue 4985 for discussion!
Avoid restating multiplicatively many foo_hom.map_bar
Created by @Anne Baanen (@Vierkantor) on 2020-11-12
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC