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

Erased types #146

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Erased types #146

wants to merge 9 commits into from

Commits on Sep 27, 2024

  1. Implement erased types

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    99c623f View commit details
    Browse the repository at this point in the history

  2. Treat erased as mixed in inherence

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b2c5657 View commit details
    Browse the repository at this point in the history

  3. Fix erasure for RECV_INIT

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    d2942f0 View commit details
    Browse the repository at this point in the history

  4. Switch to positive type flag (erased to checked) 

    This has a few upsides:

* Zeroed types behave as expected, namely no type is never checked. The checked
  flag must only be set on types with some pure type mask.
* We can simplify the type check test, i.e. if the checked flag is set, the type
  must be checked.
    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    93bd9e4 View commit details
    Browse the repository at this point in the history

  5. Implement static variable erasure 

    Along with other changes in the VM. Those will all need tests.
    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    9c330e4 View commit details
    Browse the repository at this point in the history

  6. Move CG(types_mode) to FC

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    70261e2 View commit details
    Browse the repository at this point in the history

  7. Fix uninitialized erased properties

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    68d1679 View commit details
    Browse the repository at this point in the history

  8. Fix compile error

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    8d8d39d View commit details
    Browse the repository at this point in the history

  9. Fix bugs

    @iluuu1994
    iluuu1994 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    94c48f4 View commit details
    Browse the repository at this point in the history