diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2025-07-22 00:54:27 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-22 00:54:27 +0800 |
| commit | 2e0748b1858079062284e116d0730a8156a1dab7 (patch) | |
| tree | f2b876b2b5cfe346eb7a73f9ded4e8d92edefb4a /compiler/rustc_pattern_analysis/src/rustc.rs | |
| parent | 38efe3875aac14e282e64623e241acdf973d0f63 (diff) | |
| parent | 20a7f722d824ebc4e733ec848d797088363624e9 (diff) | |
| download | rust-2e0748b1858079062284e116d0730a8156a1dab7.tar.gz rust-2e0748b1858079062284e116d0730a8156a1dab7.zip | |
Rollup merge of #143985 - makai410:rp-rename, r=oli-obk
rustc_public: de-StableMIR-ize This PR updates relevant docs about StableMIR, basically just rewording StableMIR/SMIR to rustc_public/rustc_public's IR. The README.md in the `rustc_public` crate is out-dated. I plan to rewrite it after we fork rustc_public into its own repository. This PR doesn't change the fact that we still use `-Z unpretty=stable-mir` as a rustc parameter for printing the IR, since I feel it's a bit verbose and weird if we use `-Z unpretty=rustc-public-ir`. I was wondering if we can have a short and easy alias for rustc_public's IR.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/rustc.rs')
0 files changed, 0 insertions, 0 deletions