Guillaume Martres

SystemVerilog defines its own notion of escaped identifiers ([IEEE 1800-2017 §5.6.1](https://ieeexplore.ieee.org/document/8299595)): > Escaped identifiers shall start with the backslash character (\\) and end with white space (space, tab, newline). They...

Ah, extmodule having to possibly specify a different ABI makes a lot of sense, I guess if we wanted to avoid repetitions, we could specify it at the circuit level...

Not sure where to ask this, but is ABIv2 expected to match the behavior of `firtool --preserve-aggregate=all --scalarize-top-module=false` ?

The SIP committee voted to **accept** this proposal as experimental, congratulations! There was consensus among the committee for the following changes: - Drop support for given bind variables (if there...

Sounds good, thanks!

Hi @yilinwei, do you think you'll have time to make those changes? Otherwise no worries, I should be able to find some time soon.

A few points raised at the last SIP meeting: - There is currently a soundness bug with NamedTuple.From: https://github.com/scala/scala3/issues/20517 - we believe the fix will require refining the specification of...

I recommend accepting this proposal

> I don't know whether the module is officially maintained by Lightbend or the Scala Center The README says: > This module is community-maintained, under the guidance of the Scala...

> I want to encourage Metals to use sbt instead of bloop because I don't want to invest time to replicate or improve the work that has been done on...