Paul Schoenfelder
Paul Schoenfelder
IMO if one has to choose, it makes sense to support immediates first, error codes second, since one can use assertions before an op to obtain useful errors and therefore...
I think an annotation-based approach is the only real option. However, in my mind this clearly overlaps with the need to be able to express the type signature of Miden...
Thanks!
I thought this was addressed in a [recent PR against winterfell](https://github.com/facebook/winterfell/pull/309), have we not picked up that change here yet? I'm not sure what else might be causing the issue,...
Pretty sure I found the bug in Winterfell, see facebook/winterfell#383.
Closing this now that facebook/winterfell#383 is merged and all downstream crates have been released.
I've already published a new release with updated deps, could you update this PR to resolve the conflicts, and I can merge and publish a new release?
I should be able to make time this afternoon. Unfortunately I haven't had much time to stay on top of my Elixir projects for a while now, so apologies for...
The parser in #1277 makes it easy for us to whitelist/blacklist identifiers that can be used "bare" (i.e. without quotes). Right now, this behavior is still allowed, but we can...
I've come back full circle on this, and no longer consider this a something we need to fix. While we could require such identifiers to be quoted, but it isn't...