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

modify compilation strategy to allow for io defs #125

Merged
merged 5 commits into from
Apr 19, 2024
Merged

modify compilation strategy to allow for io defs #125

merged 5 commits into from
Apr 19, 2024

Commits on Apr 19, 2024

  1. modify compilation strategy to allow for io defs 

    reorganizes the compilation source so that user-defined defs
and stdlib defs are all in the same map, so they can be treated
equally when compiling instructions.

empty defs are created and hoisted to the top of `insert_into_host`
to allow for mutually recursive definitions.
    @enricozb
    enricozb committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    a20e4c1 View commit details
    Browse the repository at this point in the history

  2. change allows

    @enricozb
    enricozb committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    2ed34de View commit details
    Browse the repository at this point in the history

  3. remove DefRef

    @enricozb
    enricozb committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    9cde0cd View commit details
    Browse the repository at this point in the history

  4. use a BTreeSet of defs

    @enricozb
    enricozb committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    c3ee444 View commit details
    Browse the repository at this point in the history

  5. simpler clippy allow

    @enricozb
    enricozb committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    586fd3c View commit details
    Browse the repository at this point in the history