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

Extract instr_info & var_info to standard OCaml int #209

Merged
merged 5 commits into from
Jul 19, 2022
Merged

Extract instr_info & var_info to standard OCaml int #209

merged 5 commits into from
Jul 19, 2022

Commits on Jul 18, 2022

  1. Drop some eqType-s

    @vbgl
    vbgl committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    441f5c7 View commit details
    Browse the repository at this point in the history

  2. Use dummy_var_info consistently

    @vbgl
    vbgl committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    dfd03c8 View commit details
    Browse the repository at this point in the history

  3. Use dummy_instr_info instead of xH

    @vbgl
    vbgl committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    80dea85 View commit details
    Browse the repository at this point in the history

  4. expr: make types var_info and instr_info abstract 

    These types are now extracted to standard OCaml int. This avoids costly
conversions.
    @vbgl
    vbgl committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    d83035c View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2022

  1. expr: var_info are locations

    @vbgl
    vbgl committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    de239cd View commit details
    Browse the repository at this point in the history