Support const attribute to custom type's field

zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

193 stars 50 forks source link

Open katat opened 1 month ago

katat commented 1 month ago

To better type check a const field from a custom type, it would be better to support:

Thing {
  xx: Field,
  yy: const Field
}

mimoo commented 1 month ago

^ as discussed privately I don't think this is a good approach (I need to copy/paste the arguments I had here)