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

Refactor level checking / type healing logic #17082

Merged
merged 14 commits into from
Mar 14, 2023
Merged

Refactor level checking / type healing logic #17082

merged 14 commits into from
Mar 14, 2023

Commits on Mar 13, 2023

  1. Strip annotations from the type of a quoted expression 

    These annotations may contain spliced expression that would leak out of
the quote if not stripped. See `tests/pos-macros/i7519b.scala`.
    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    4172269 View commit details
    Browse the repository at this point in the history

  2. Refactor level checking / type healing logic 

    Disentangle level checking from type healing.
    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    8362d14 View commit details
    Browse the repository at this point in the history

  3. Extract StagingLevel from TreeMapWithStages

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    67a6475 View commit details
    Browse the repository at this point in the history

  4. Remove mutable state from StagingLevel

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    527a9ec View commit details
    Browse the repository at this point in the history

  5. Move PCPCheckAndHeal to dotty.tools.dotc.staging

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    6d351f9 View commit details
    Browse the repository at this point in the history

  6. Move TreeMapWithStages to dotty.tools.dotc.staging

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    aa73a70 View commit details
    Browse the repository at this point in the history

  7. Remove Checking from PCPCheckAndHeal

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    bd5e3b0 View commit details
    Browse the repository at this point in the history

  8. Split annotation splice transformation from type healing

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    f32e204 View commit details
    Browse the repository at this point in the history

  9. Extract HealType from PCPCheckAndHeal

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    915c44c View commit details
    Browse the repository at this point in the history

  10. Move level tracking into StagingLevel

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    540277b View commit details
    Browse the repository at this point in the history

  11. Move StagingContext to dotty.tools.dotc.staging

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    9cbc14c View commit details
    Browse the repository at this point in the history

  12. Extract QuoteTypeTags

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    6d02874 View commit details
    Browse the repository at this point in the history

  13. Rename StagingContext to QuoteContext

    @nicolasstucki
    nicolasstucki committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    3cbc635 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. Update compiler/src/dotty/tools/dotc/staging/HealType.scala 

    Co-authored-by: Natsu Kagami <natsukagami@gmail.com>
    @nicolasstucki @natsukagami
    nicolasstucki and natsukagami authored Mar 14, 2023
    Configuration menu
    Copy the full SHA
    61165cc View commit details
    Browse the repository at this point in the history