Michael J Klein

My design is to use one-step batch permits to implement cosigning: - User submits `pair id user_param`, authenticated to them and stored at the top level - Admin submits `pair...

replaced by https://github.com/noir-lang/noir/pull/4504

Assorted TODO's: - Make dummy-ID for (monomorphizer) `FuncId` (other than `0`) - Make monomorphizer AST's `Program::take_function_body` error when called twice on the same function (`FuncId`) - # Places to Test...

@TomAFrench yes, the error should be displayed on the following line. I added wrapping newlines in expectation of multi-line `comptime` results, but could alternatively add a condition for single-line results...

I was able to simplify the example: ```idris %default total ||| Isomorphic to: `(a:Type) -> a -> a -> a -> ..` data Foo : (a:Type) -> Type where MkFoo...

@TomAFrench I added [one](https://github.com/noir-lang/noir/issues/8553), but still need to add the other tests and update docs

I expect to have more time for this in ~a week

I've looked into a couple alternative approaches to implement a `HashMap` in Noir for a personal project and the following approach should allow constant time get/set/etc. up to array access...

As a `noirc_frontend` test: ```rust #[test] fn use_global_larger_than_u32_as_generic() { let src = r#" // 2^32 + 1 global A: Field = 4294967297; fn foo() { } fn main() { let...