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

Dyno: add a type to represent iterators, implement loop expressions #25994

Merged
merged 22 commits into from
Sep 30, 2024
Merged

Dyno: add a type to represent iterators, implement loop expressions #25994

merged 22 commits into from
Sep 30, 2024

Commits on Sep 25, 2024

  1. Add initial scaffold for new types 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    4cd387e View commit details
    Browse the repository at this point in the history

  2. Refactor resolving parallel iterator to support iterable types 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    ffdaa1d View commit details
    Browse the repository at this point in the history

  3. Detect array types before attempting to resolve iterators 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    dc03fed View commit details
    Browse the repository at this point in the history

  4. Fix tests 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    c843219 View commit details
    Browse the repository at this point in the history

  5. Implement initial type inference for loop expressions 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    4f2a274 View commit details
    Browse the repository at this point in the history

  6. Move iterator "forwarding" into resolution-queries.cpp 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    730f5a6 View commit details
    Browse the repository at this point in the history

  7. Implement iteration over loop expressions 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    06b0e5e View commit details
    Browse the repository at this point in the history

  8. Remove debugging code 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    efee70f View commit details
    Browse the repository at this point in the history

  9. Properly return loop's yielded type when iterated over 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    00b9fe1 View commit details
    Browse the repository at this point in the history

  10. Add some initial tests 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    287c18a View commit details
    Browse the repository at this point in the history

  11. Avoid invoking 'followers' for 'standalone' these 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    06b74f2 View commit details
    Browse the repository at this point in the history

  12. Put yielded type first in queries constructing iterator types 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    67240aa View commit details
    Browse the repository at this point in the history

  13. Track whether a loop expression supports parallel iteration 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    53c157d View commit details
    Browse the repository at this point in the history

  14. Rule out parallel iterators for 'for' and 'foreach' expressions 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    185eeed View commit details
    Browse the repository at this point in the history

  15. Add tests for mixing serial/parallel loop exprs/loops 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e277868 View commit details
    Browse the repository at this point in the history

  16. Make convert-uast.cpp compile 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    1d82d28 View commit details
    Browse the repository at this point in the history

  17. Add 'override' where needed 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    1a86a4a View commit details
    Browse the repository at this point in the history

  18. Fix size type comparison in loop 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e06f365 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Add a warning function instead of manually building GeneralError 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    dcaccf6 View commit details
    Browse the repository at this point in the history

  2. Remove accidentally introduced space 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    594a9dc View commit details
    Browse the repository at this point in the history

  3. Tweak indexable expr handling to lift visiting body and entering scopes 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    4002fc2 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Add some comments 

    Signed-off-by: Danila Fedorin <[email protected]>
    @DanilaFe
    DanilaFe committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    78ced7a View commit details
    Browse the repository at this point in the history