Chris Leary

cc @meheff I think the reworking he's doing of codegen pipeline could tie in with how tuples or records (named tuples) end up presented on the module signature. Mark thoughts...

What was the value used for `N` in the instantiation? We maybe can/should make the error message better but it's trying to tell you that `p * p` rolled over...

Closing as I don't think we have a reproducer.

This would require either context-dependent type inference (i.e. an outside-to-inside propagation step from the let's type annotation to an expectation of the expression on the RHS of the let, where...

This was not fully fixed, at least conceptually -- we still have functions with internal-only names present at module scope. Ideally we'd be able to do away with that kluge.

Related is #481 -- I think a pragma would be non-ideal is we can avoid it vs like, a builtin that traps failure in the bytecode interpreter. Should still be...

We've been meaning to make one against the open PDKs (e.g. sky130 and OpenROAD) but we don't have one of those in the repo yet. If you're interested in taking...

Aside: marking as "good first issue" in the sense it'd be interesting for a contributor to put those pieces together, though notably there's a few pieces there (described in the...

One of the reasons this was left out historically is that bit vectors, perhaps confusingly, index differently from arrays, and we'd be unifying the indexing notation despite that difference; e.g....

I think the basic constraints/thinking that led to this kind of setup was: - We kind of wanted the rendered docs to be available in-tree (though this isn't a hard...