Michael J Klein

Cannot read property 'match' of undefined

1

Steps to repoduce: `master` at https://github.com/enjin/erc-1155/commit/ab7141d4033b8c3186ecba39ce52d530f44ec6c8 ```bash npm install -g solc git clone [email protected]:enjin/erc-1155.git cd erc-1155 ❯❯❯ npm install npm ERR! Cannot read property 'match' of undefined npm ERR! A...

feat: separating out array and slice types in the AST

2

# Description Replacement for https://github.com/noir-lang/noir/pull/4232. Holding off on closing it to possibly port fixes from it, but wanted to start fresh because this approach is quite different. ## Problem\* Resolves...

feat: resolve generic length of slice inconsistency

1

# Description Resolve generic `N` parameters applying inconsistently to arrays and slices. ## Problem\* Resolves https://github.com/noir-lang/noir/issues/4220 ## Summary\* In general, generic `N` parameters are expected to be able to be...

Calling `map` on a slice panics

3

### Aim Allow calling `map` on a slice ### Expected Behavior The file to compile successfully and return nothing ### Bug Compiler panics ### To Reproduce ```rust fn main() {...

# Description ## Problem\* Resolves https://github.com/noir-lang/noir/issues/3759 ## Summary\* ## Additional Context ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [...

[Bonding Curve README](https://github.com/tqtezos/minter-sdk/blob/michaeljklein/bonding-curve/packages/minter-contracts/ligo/src/bonding_curve/README.md)

"WellFounded" relation passes totality check, builds and hangs

1

I found a way to implement arbitrary coercion between types by using an infinite loop that type checks as a `WellFounded` relation. # Steps to Reproduce ```bash » idris -v...

Audit preparedness: assessing key cases

1

### Problem Given listing from: https://github.com/noir-lang/noir/issues/5360 - [ ] Break out into sub-lists, according to size (e.g. group bitwise ops together) - [ ] Assess the state of unit tests...

### Problem This is an omnibus issue for unit testing for audit readiness. To do: - [x] https://github.com/noir-lang/noir/issues/5360 - [ ] https://github.com/noir-lang/noir/issues/5361 - [ ] https://github.com/noir-lang/noir/issues/5362 - [ ] Re-assess...

feat: add CLI argument for debugging comptime blocks

4

# Description ## Problem\* Resolves https://github.com/noir-lang/noir/issues/5168 ## Summary\* ## Additional Context - Restores `hir_to_ast` pass as `hir_to_display_ast` from https://github.com/noir-lang/noir/pull/5147/files + Only using it for display is much easier than trying...