Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ast/parser: guard against invalid domains for "some" and "every" #4548

Merged
merged 2 commits into from
Apr 5, 2022
Merged

ast/parser: guard against invalid domains for "some" and "every" #4548

merged 2 commits into from
Apr 5, 2022

Commits on Apr 5, 2022

  1. ast/parser: guard against invalid domains for "some" and "every" 

    These would cause a runtime exception when attempting to parse

    some internal.member_2()

This is due to a technicality in how

    some x in xs

is parsed: `x in xs` will first become `internal.member_2(x, xs)`,
and `some internal.member_2(x, xs)` is then further processed. The
assumption that there're always two (resp. three for internal.member_3)
arguments won't hold if a snippet like the one above is fed into
the parser.

Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>
    @srenatus
    srenatus committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    cd1335f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into sr/ast/parser-with-crafted-internal-calls

    @srenatus
    srenatus committed Apr 5, 2022
    Configuration menu
    Copy the full SHA
    e631538 View commit details
    Browse the repository at this point in the history