noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

872 stars 188 forks source link

feat!: Syncing TypeVariableKind with Kind #6094

Open michaeljklein opened 1 week ago

michaeljklein commented 1 week ago

Description

Problem*

Resolves https://github.com/noir-lang/noir/issues/6067

Summary*

Combines TypeVariableKind and Kind (now only Kind)
Adds Kind arguments where needed
Adds more Kind checks

Additional Context

Documentation*

Check one:

[x] No documentation needed.
[ ] Documentation included in this PR.
[ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

[x] I have tested the changes locally.
[x] I have formatted the changes with Prettier and/or cargo fmt on default settings.

michaeljklein commented 1 week ago

Note: this is insufficient for https://github.com/noir-lang/noir/issues/6125, which likely needs https://github.com/noir-lang/noir/pull/6137