structs in pil - Githubissues

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Apache License 2.0

380 stars 77 forks source link

structs in pil #1285

Open chriseth opened 4 months ago

chriseth commented 4 months ago

Sub-issue of https://github.com/powdr-labs/powdr/issues/1016

It's probably fine for now to only have the {...}-type structs (i.e. no tuple-type structs).

Tasks:

[ ] parse struct definitions
[ ] struct constructors
[ ] pattern support for structs
[ ] member access

chriseth commented 4 months ago

If we use X{a, b} to construct a struct, this might clash with the syntax for lookups, X{a, b} in Y{c, d}. We could change the syntax for lookups to X * {a, b} in Y * {c ,d}.