]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 98f8cce dd3772e)
Rollup merge of #82269 - LeSeulArtichaut:cleanup-ppmode, r=spastorino
authorAaron Hill <aa1ronham@gmail.com>
Thu, 25 Feb 2021 21:06:16 +0000 (16:06 -0500)
committerGitHub <noreply@github.com>
Thu, 25 Feb 2021 21:06:16 +0000 (16:06 -0500)
commit8c0119da775280a55749b868fed573f2ea59b54f
tree4f6b85165f44fd6d2f90974ae9795487a605ad3atree | snapshot
parent98f8cce6db6c6c6660eeffee2b3903104e547ecfcommit | diff
parentdd3772e4f01a9cab1d967c1b80c9c7cbe6014592commit | diff
Rollup merge of #82269 - LeSeulArtichaut:cleanup-ppmode, r=spastorino

Cleanup `PpMode` and friends

This PR:
 - Separates `PpSourceMode` and `PpHirMode` to remove invalid states
 - Renames the variant to remove the redundant `Ppm` prefix
 - Adds basic documentation for the different pretty-print modes
 - Cleanups some code to make it more idiomatic

Not sure if this is actually useful, but it looks cleaner to me.
compiler/rustc_interface/src/passes.rs diff1 | diff2 | blob | history
compiler/rustc_session/src/config.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.