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

Monomorphize generic types #660

Draft
wants to merge 19 commits into
base: master
Choose a base branch
from
Draft

Monomorphize generic types #660

wants to merge 19 commits into from

Commits on Sep 30, 2024

  1. fire: Cleanup node accessors

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    a582534 View commit details
    Browse the repository at this point in the history

  2. fir: Add base for TreeLike visitor

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    3cbbdb9 View commit details
    Browse the repository at this point in the history

  3. name_resolve: Define generic types as types

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    09bd825 View commit details
    Browse the repository at this point in the history

  4. typecheck: Add base for building generic constraints

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    73fa837 View commit details
    Browse the repository at this point in the history

  5. typecheck: Continue trying to build constraints

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e1c0738 View commit details
    Browse the repository at this point in the history

  6. [wip] typecheck

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    96b6b4e View commit details
    Browse the repository at this point in the history

  7. typecheck: Add documentation and process for Mono

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    678e149 View commit details
    Browse the repository at this point in the history

  8. typecheck: Handle generics in original LinkedTypeMap

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    ba99ee3 View commit details
    Browse the repository at this point in the history

  9. fir: Do not require U: Default for MultiMapper

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    0b48155 View commit details
    Browse the repository at this point in the history

  10. fir: Implement Clone for Fir<T: Clone>

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    d9fb1c1 View commit details
    Browse the repository at this point in the history

  11. typecheck: Add base for building substitution map

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e33b6e3 View commit details
    Browse the repository at this point in the history

  12. fir: multi_mapper: Remove OriginIdx-related methods

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    afb8725 View commit details
    Browse the repository at this point in the history

  13. fir: treelike: Add visit_all method

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    40de38f View commit details
    Browse the repository at this point in the history

  14. typecheck: subsitutions: Build callpoints substitutions properly

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    fb84876 View commit details
    Browse the repository at this point in the history

  15. wip

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    92e9149 View commit details
    Browse the repository at this point in the history

  16. chore: Rebase, use new fir API

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    12d2903 View commit details
    Browse the repository at this point in the history

  17. substitutions: Start computing substitutions properly

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    b726e53 View commit details
    Browse the repository at this point in the history

  18. mono: Take substitutions::Output as input

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    6c5bfe6 View commit details
    Browse the repository at this point in the history

  19. tyck: Add note about constraints on type instantiations

    @CohenArthur
    CohenArthur committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    39cf186 View commit details
    Browse the repository at this point in the history