15:49 <vup> Currently there is no way to do conditional formatting using `.format`, right? For example printing different members of a tagged union depending on the tag. I could see how one could maybe do something with printing enough "\x08b" to "override" previous values, though that seems pretty hacky.

15:50 <vup> The `SwitchValue` "trick" used for enums doesn't really work for my usecase, as the members of my tagged union are not constant, but struct's on their own of course)

16:16 <Wanda[cis]> yeah, not really

16:16 <Wanda[cis]> it's a rather unfortunare limitation

16:26 <vup> rtlil cell. Translating it to verilog is probably very annoying, but for `cxxrtl` implementing that extended `$print` cell doesnt seem to hard

16:26 <vup> for now I implemented the "\x08" hack, which is "good enough" for my purposes. I also don't have a clear image of how a extended version of `Format` would work that can implement conditional formatting. Especially if one wants to map it to a `$print` like cell in rtlil. Maybe the ability to add a individual "enable signal" to each of the format "chunk"s would be enough? That seems like it could reasonably be mapped to a extended version of the `$print`

16:27 <Wanda[cis]> yeah that's the design I was thinking about, too

16:28 <Wanda[cis]> I maaaay have discussed this with Catherine at some point and we decided against it for some reason? not sure tbh

16:28 <Wanda[cis]> my memory's not the best

16:39 <vup> atleast from a cursory scroll through the IRC logs I could not find something, this was the meeting the RFC was voted to be merged: https://libera.irclog.whitequark.org/amaranth-lang/2024-03-04#35933991;

18:14 <vup> a further formatting related question would be wether it would be feasible to provide something akin to `Format._chunks` to the user as a API. I wrote some code that processes that to automatically create translators for surfer. I guess that would also need a user API for the ast, as I need to parse the AST that is generated for the value expressions of the formatting chunks, which probably is even harder to provide