zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

BREAKING fix macro string parsing #119

Closed aep closed 3 years ago

aep commented 3 years ago

string is a vec due to different bytestring interpretations, so ast has to parse this as vec.

While we're at it, this is a breaking change to move ast to a dynamically allocated tree, preparing for struct macros (derive).

refer to tests/mustpass/macro_expr for how the api changed

aep commented 3 years ago

@jwerle breaking change to macros incomming

jwerle commented 3 years ago

Checking this out now