[nmigen] whitequark commented on issue #254: Find solution to translate values to strings for Symbiyosys vcd files - https://git.io/JvEeZ
samlittlewood has joined #nmigen
Huh, part of me is surprised, but another part isn't that you're on IRC, Sam :P
:) yeah - not a regular, but came by as I am poking around with glasgow & nmigen
Thanks for your help w/ the CM32p module, btw
np - v. glad to help!
whitequark: do Records have a guaranteed stable representation? they subclass Value so i assume one can Cast them to Signal, right?
context: "how do i take a stream which uses a record for its payload type and connect it to a stream whose payload is half as wide, or twice as wide?"
i could do twice as wide with sub-records, but i don't know how to do half as wide in a generic way unless there's a way to crunch on the bits of the record directly (and even then i gotta figure out how/if to reassemble them afterwards, but that's solveable)