crytic / amarna

Amarna is a static-analyzer and linter for the Cairo programming language.
https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/
GNU Affero General Public License v3.0
149 stars 7 forks source link

Fails to parse `using` expressions #77

Closed archseer closed 1 year ago

archseer commented 1 year ago
using Range = (min : felt, max : felt)

Fails to parse as:

Could not parse foo.cairo: Unexpected token Token('COLON', ':') at line 93, column 20.
Expected one of:
        * _DBL_STAR
        * STAR
        * RPAR
        * COMMA
fcasal commented 1 year ago

Hi @archseer, thanks for reporting! PR https://github.com/crytic/amarna/pull/79 should fix this and allow running it on Cairo code below v0.10.0. The v0.10 grammar updates will come when https://github.com/crytic/amarna/pull/76 gets merged.

fcasal commented 1 year ago

@archseer The PR was merged, and this release should run without problems: https://pypi.org/project/amarna/0.1.4/

Let me know if you have any more issues.