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

move things out of mir/mod.rs #115865

Merged
merged 6 commits into from
Sep 19, 2023
Merged

move things out of mir/mod.rs #115865

merged 6 commits into from
Sep 19, 2023

Commits on Sep 19, 2023

  1. more MIR const types to separate file

    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    49f5b17 View commit details
    Browse the repository at this point in the history

  2. move some MIR const pretty-printing into pretty.rs

    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    10a822b View commit details
    Browse the repository at this point in the history

  3. use pretty_print_const_value from MIR constant 'extra' printing

    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    57444cf View commit details
    Browse the repository at this point in the history

  4. organize mir pretty.rs and move more things into it; move statement-r… 

    …elated things out of mir/mod.rs
    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    be8f5f6 View commit details
    Browse the repository at this point in the history

  5. move ConstValue into mir 

    this way we have mir::ConstValue and ty::ValTree as reasonably parallel
    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    5a0a1ff View commit details
    Browse the repository at this point in the history

  6. comment on the difference between mir::ConstantKind::Unevaluated and … 

    …mir::ConstantKind::Ty(ty::ConstKind::Unevaluated)
    @RalfJung
    RalfJung committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    d14e601 View commit details
    Browse the repository at this point in the history