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

Migrate modality annotations into the parsetree #2468

Merged
merged 28 commits into from
Jun 17, 2024
Merged

Migrate modality annotations into the parsetree #2468

merged 28 commits into from
Jun 17, 2024

Commits on Apr 1, 2024

  1. un-jane-syntax-ified modalities. some tests still failing

    Charlie Gunn committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    dc5431d View commit details
    Browse the repository at this point in the history

  2. Fixed pprintast-related failing tests

    Charlie Gunn committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    5408aaa View commit details
    Browse the repository at this point in the history

  3. Promoted failing parsing tests (due to parsetree changes)

    Charlie Gunn committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    ff72e62 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Move modality to Asttypes

    Charlie Gunn committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    c929fd3 View commit details
    Browse the repository at this point in the history

  2. Remove other references to modality.mli?

    Charlie Gunn committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    4d51915 View commit details
    Browse the repository at this point in the history

  3. hide modality behind a variant constructor

    Charlie Gunn committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    ec3a930 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Modality asttype should be unboxed

    Charlie Gunn committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    bb27d01 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Merge branch 'main' into parsetree.migrate-modality

    Charlie Gunn committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    4ee719c View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    62ae2c6 View commit details
    Browse the repository at this point in the history

  2. revert vscode settings i accidentally changed

    Charlie Gunn committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    56b17fd View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. responding to review

    Charlie Gunn committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    524cad6 View commit details
    Browse the repository at this point in the history

  2. responding to review (pt 2)

    Charlie Gunn committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    e28242c View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. added comment for ca_global, promoted weird test, moved modality to p… 

    …arsetree.mli
    Charlie Gunn committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    14165a7 View commit details
    Browse the repository at this point in the history

  2. fixed a syntax error test (thanks zqian)

    Charlie Gunn committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    f50bcda View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. working on fixing the make-based build

    Charlie Gunn committed May 1, 2024
    Configuration menu
    Copy the full SHA
    5037376 View commit details
    Browse the repository at this point in the history

  2. bootstrap

    @goldfirere
    goldfirere committed May 1, 2024
    Configuration menu
    Copy the full SHA
    4c0bf29 View commit details
    Browse the repository at this point in the history

  3. merge and bootstrap

    Charlie Gunn committed May 1, 2024
    Configuration menu
    Copy the full SHA
    48689fa View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. bootstrapped again

    Charlie Gunn committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6d68930 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed May 2, 2024
    Configuration menu
    Copy the full SHA
    bfdeb4f View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. remove out-of-date comment from asttypes.mli

    Charlie Gunn committed May 7, 2024
    Configuration menu
    Copy the full SHA
    91bab79 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed May 20, 2024
    Configuration menu
    Copy the full SHA
    2018862 View commit details
    Browse the repository at this point in the history

  2. revert unintentional change to test

    Charlie Gunn committed May 20, 2024
    Configuration menu
    Copy the full SHA
    e9e2812 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed May 28, 2024
    Configuration menu
    Copy the full SHA
    c82c74a View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    c7f87b2 View commit details
    Browse the repository at this point in the history

  2. update AST magic numbers to 5xx

    Charlie Gunn committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    6b51233 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Merge remote-tracking branch 'upstream/main' into parsetree.migrate-m… 

    …odality
    Charlie Gunn committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    e3aa19b View commit details
    Browse the repository at this point in the history

  2. fix untypeast for modalities

    Charlie Gunn committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    b3a70ea View commit details
    Browse the repository at this point in the history

  3. ocamlformat

    Charlie Gunn committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    cfcadad View commit details
    Browse the repository at this point in the history