- 08 12月, 2017 6 次提交
-
-
由 Guillaume Gomez 提交于
Greatly improve sidebar when width < 700px Fixes #36531. r? @QuietMisdreavus A few screenshots: <img width="1440" alt="screen shot 2017-12-06 at 00 41 36" src="https://user-images.githubusercontent.com/3050060/33636875-6ad8b1a6-da1e-11e7-8d5b-d6d530ea5258.png"> <img width="1440" alt="screen shot 2017-12-06 at 00 41 40" src="https://user-images.githubusercontent.com/3050060/33636876-6af58196-da1e-11e7-82ab-b82768958037.png">
-
由 Guillaume Gomez 提交于
Move colors to main.css r? @QuietMisdreavus
-
由 Guillaume Gomez 提交于
doc: macro `cfg!` evaluating at compile-time
-
由 Guillaume Gomez 提交于
-
由 Guillaume Gomez 提交于
-
由 bors 提交于
Allow feature-gate tests to live in ui/ and migrate most of the tests from compile-fail The PR consists of three commits: 1. change tidy to allow feature-gate tests to live in ui/ 2. migrate some feature gate tests to ui/ with renaming only 3. migrate some feature gate tests to ui/ with also removing `// gate-test-...` lines and renaming them to the standard `feature-gate-<feat-name>.rs` format.
-
- 07 12月, 2017 34 次提交
-
-
由 bors 提交于
closure handling for NLL This branch overhauls how we handle closures and universally quantified regions in the NLL code. The goal is to lay the groundwork for "region erasure" by the HIR-based type checker, as well as to avoid "crazy hacks" when it comes to closures. This means that when we type-check a closure, we cannot make use of *any* of the precise values of free regions in its signature, since those are inferred by the HIR type-checker. Therefore, the new code handles closures by: - Creating fresh regions for every free region that appears in the closure's type, which now includes both its signature and the types of all upvars. - This means that the closure is type-checked without knowing about the connections. - When we encounter some region relationship that we can't locally verify, we propagate it to the closure's creator. - During MIR typeck, the closure creators then validates those relationships. For a good example and explanation, see e.g. the test `src/test/nll/closure-requirements/propagate-despite-same-free-region.rs`. Upcoming changes in the next NLL PR (not included in this PR in order to keep it manageable): - Improvements to the MIR type checker so that it handles a lot of stuff presently overlooked - Refactor how we store region values to make it more efficient, better encapsulated - Propagate "type-outlives" relationships like `T: 'a` in a similar fashion to the one covered in this PR (still in the works, but close) - Improvements to error reporting (still in the works) r? @arielb1 or @pnkfelix
-
由 bors 提交于
Update fingerprint tests macros Part of #44924 r? @michaelwoerister
-
由 Niko Matsakis 提交于
per pnkfelix's suggestion
-
由 Niko Matsakis 提交于
suggested by arielb1
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
as suggested by arielb1
-
由 Niko Matsakis 提交于
This includes the additional case suggested by arielb1.
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
It's just not useful. It also makes it hard to have tests that probe internal state, since the interning number is very sensitive. Dumping the number in the case of gensym is not ideal but will do for now.
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
It's inefficient, and the substitution there doesn't account for the extra regions used by NLL inference, so it's a bad thing to encourage. As it happens all callers already know if they have a closure or not, from what I can tell.
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
The overall format is now easier to read. Also, There is now graphviz output, as well as a `#[rustc_regions]` annotation that dumps internal state.
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 bors 提交于
Speedup search loading when search url is received Fixes #45971. r? @nrc cc @rust-lang/docs
-
由 est31 提交于
We also rename some of the files to conform to the feature-gate-<feat_name>.rs pattern that is most common.
-
由 est31 提交于
Renames only in this commit, and obviously .stderr file additions.
-
由 est31 提交于
ui tests are the future, especially since the recent improvement where we have gained checking and requiring of //~ERROR comments. The tidy feature-gate test check is intended to be 50% an actual insurance that there is a check, and 50% to be a teacher that such checks are required. With this commit applied, newbies might interpret stuff wrongly and create tests that don't fail but succeed instead. This is not what feature gate tests are for though. Therefore, in a later step, when only ui tests are allowed to be feature gate tests, we will add checking to ensure that a file marked as gate test is actually required to be a compilation failure. Right now implementing such a check is a bit annoying as one needs to only do it when the compile-fail test is in the ui test suite :/.
-
由 bors 提交于
Rename C-like enum to Field-less enum There is no need to reference the C programming language to explain this concept.
-
由 bors 提交于
compiletest: account for `ui` reference files when deciding to skip The stamp files for compiletest were ignoring `.stderr` and `.stdout` files. This was driving me crazy. r? @alexcrichton
-
由 bors 提交于
Stabilize abi_sysv64 Closes #36167, stabilizing the use of the "sysv64" ABI on x64 platforms where it is not the default ABI. FCP on this is complete in the tracking issue.
-
由 bors 提交于
rustc_mir: promote references of statics from other statics. Fixes #46522 by also allowing `STATIC_REF` in MIR const-qualification, not just AST rvalue promotion.
-
由 Eduard-Mihai Burtescu 提交于
-
由 bors 提交于
Display `\t` in diagnostics code as four spaces Follow up to #44386 using the unicode variable width machinery from #45711 to replace tabs in the source code when displaying a diagnostic error with four spaces (instead of only one), while properly accounting for this when calculating underlines. Partly addresses #44618.
-
由 bors 提交于
MIR borrowck: implement union-and-array-compatible semantics Fixes #44831. Fixes #44834. Fixes #45537. Fixes #45696 (by implementing DerefPure semantics, which is what we want going forward). r? @nikomatsakis
-