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

Type-check aliasing in separate pass #1977

Merged
merged 20 commits into from
Jul 4, 2023
Merged

Type-check aliasing in separate pass #1977

merged 20 commits into from
Jul 4, 2023

Commits on Jun 30, 2023

  1. WIP on #1872.

    @athas
    athas committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    732a1b7 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2023

  1. Merge branch 'master' into issue1872

    @athas
    athas committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    082703f View commit details
    Browse the repository at this point in the history

  2. Almost works I think.

    @athas
    athas committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    25bc125 View commit details
    Browse the repository at this point in the history

  3. Seems to work OK.

    @athas
    athas committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    4dc84cd View commit details
    Browse the repository at this point in the history

  4. Remove debug prints.

    @athas
    athas committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    5a3abb3 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2023

  1. Fiddle with more things.

    @athas
    athas committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    379d764 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. Try to fix defunctionalisation.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    49dbae4 View commit details
    Browse the repository at this point in the history

  2. All tests pass!

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    1ee86a6 View commit details
    Browse the repository at this point in the history

  3. Remove various unused code.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    162df0f View commit details
    Browse the repository at this point in the history

  4. Remove unused things.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    4f4f4c0 View commit details
    Browse the repository at this point in the history

  5. Remove another now-misleading comment.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    3669105 View commit details
    Browse the repository at this point in the history

  6. This is a change.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    ab1fb45 View commit details
    Browse the repository at this point in the history

  7. Remove more unnecessary things.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    a0f2d53 View commit details
    Browse the repository at this point in the history

  8. Remove more dead code.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    dd8ebbc View commit details
    Browse the repository at this point in the history

  9. Restore unused-variable warnings.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    26a375a View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into issue1872

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    0ee71ac View commit details
    Browse the repository at this point in the history

  11. Reduce duplication.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    388ed9d View commit details
    Browse the repository at this point in the history

  12. Fix tests.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    234259d View commit details
    Browse the repository at this point in the history

  13. Redundant comments.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    1b2e8ea View commit details
    Browse the repository at this point in the history

  14. Improve this error detection.

    @athas
    athas committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    a25c191 View commit details
    Browse the repository at this point in the history