<bl0x>
Can one print debug information from elaborate()-ed code when running in pysim? I'd like to put all instrumentation into the simulation processes, but rather have some kind of `if simulated: print(...)` where it is needed.
<jn>
bl0x: i.e. access runtime values of signals?
<bl0x>
yes, I know that from within a simulator process I can yield the value, but can that also be described inside of an elaborate() function?
<whitequark>
at the moment no, but a Display statement is planned shortly
playback2396[m] has quit [Quit: You have been kicked for being idle]
<bl0x>
whitequark: nice! I've put some instrumentation inside the sim process for now. It feels a bit like a crutch, though. Also: Python's way of interpreting signed/unsigned values is fun.
<whitequark>
yeah
nelgau has joined #amaranth-lang
<whitequark>
good afternoon everyone, it is time for our scheduled Monday meeting
<whitequark>
I actually should be more specific. I would like everyone present on the meeting who has reviewed the RFC to respond with proposed disposition: merge or close
<jfng[m]>
no opinion on this, but i've never called normalize explicitly
<whitequark>
once again, I would like everyone to respond with their comments, or proposed disposition: close or merge
<jfng[m]>
would `Repl` be a const-castable candidate, in the future ?
<jfng[m]>
merge
<cr1901>
What are the ramifications of "not Liskov-compatible" do you foresee to the end user?
<whitequark>
yes, we can extend it to more expressions, and this would not require an RFC
<whitequark>
or at least, not for Repl
<whitequark>
I don't expect there to be any in practice
<whitequark>
it's a minor technicality that gets exposed to the user because of how object-oriented languages happen to work
<whitequark>
or rather, how class methods work in Python specifically
crzwdjk has joined #amaranth-lang
<cr1901>
I figured that, but "don't use a Const.cast() where you need a Value.cast()" boils down to "just don't do that", and I thought maybe I was missing something
<whitequark>
that is, I don't think anyone wrote a generic method that takes either the Value class, or the Const class as cls, and expects cls.cast to act according to the Value.cast contract, always accepting arbitrary values
<cr1901>
merge
<Chips4MakersakaS>
merge
<whitequark>
adamgreig?
<adamgreig[m]>
I haven't had time to review this in detail but no objections, happy to say merge
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark 98878a2 - Deploying to main from @ amaranth-lang/rfcs@24590ab71a7fe30bb1e9e3bf169f5e72092ac4e9 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark eb40ec6 - Deploying to main from @ amaranth-lang/rfcs@916bd05baa4f7136b907a4d178e677cdb2ab0329 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark fe59427 - Deploying to main from @ amaranth-lang/rfcs@f78416d05a57f0557eaf7eeca7a5c8a862219da5 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark edab456 - Deploying to main from @ amaranth-lang/amaranth@f602ce1f8f67aeceb07e7439987bf86c4976fd89 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark 8fdf4ac - Deploying to main from @ amaranth-lang/amaranth@5d872096a726cdbd38aff028c43b1f290408fe1c 🚀
nelgau has quit [Remote host closed the connection]
nelgau has joined #amaranth-lang
nelgau has quit [Remote host closed the connection]
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark a7854b6 - Deploying to main from @ amaranth-lang/amaranth@342fd5f8bdc1b447d320fa5dc2a3b14fba8be172 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark f72c074 - Deploying to main from @ amaranth-lang/amaranth@bef2052c1e883e9c539368ad1bfad354df4c4608 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] whitequark 7a0a579 - Deploying to main from @ amaranth-lang/amaranth@58721ee4fe60933ed4db5782c53403f76101ada2 🚀