<cr1901>
whitequark: Just FYI, exceeding unlikely to be at this week's meeting. Am not at laptop and am only checking IRC a few times a day. Is this week just gonna be talking more about interfaves RFC?
<whitequark>
there's also discussion of peripheral API
<cr1901>
I'm sure it'll be fine if I miss this one
<galibert[m]>
We can have m.d.sync += a.eq(...), m.d.sync += [a.eq(...), b.eq(...)], does m.d.sync += [[a.eq(...), b.eq(...)], [c.eq(...), d.eq(...)]] also work?
<Psentee>
AFAIR it works, not sure if it's intentional API or accidental though. I'm returning a tuple of statements to be able to say things like `m.d.sync += [component_a.connect_to(component_b), ...]` and it works
<Psentee>
Just double-checked, `Statement.cast()` accepts a statement or iterable of statements, so nested lists/tuples should work
electronic_eel has quit [Server closed connection]
electronic_eel has joined #amaranth-lang
nyanotech has quit [Quit: No Ping reply in 180 seconds.]
nyanotech has joined #amaranth-lang
FL4SHK has quit [Ping timeout: 246 seconds]
jjsuperpower has joined #amaranth-lang
trabucayre has quit [Server closed connection]
trabucayre has joined #amaranth-lang
Psentee has quit [Quit: Off]
Psentee has joined #amaranth-lang
Psentee has quit [Client Quit]
Psentee has joined #amaranth-lang
Psentee has quit [Quit: Off]
Psentee has joined #amaranth-lang
d1b2 has joined #amaranth-lang
Xesxen has quit [Server closed connection]
Xesxen has joined #amaranth-lang
jjsuperpower_ has joined #amaranth-lang
jjsuperpower has quit [Ping timeout: 240 seconds]
mwk has quit [Ping timeout: 268 seconds]
mwk has joined #amaranth-lang
<whitequark>
yeah I think it does
Guest49 has joined #amaranth-lang
Guest49 has quit [Client Quit]
<galibert[m]>
ok good, that's much better for extensibility. I wasn't able to find the code that manages that in a reasonable timeframe :-)
<d1b2>
<olivier_galibert> ohhhh, matrix-irc-discord is back, good
<d1b2>
<olivier_galibert> well, one-way
<galibert[m]>
At this point what's written on matrix goes all the way to discord but not back