| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-09-01 | rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree. | Eduard-Mihai Burtescu | -8/+8 | |
| 2017-09-01 | rustc: use hir::ItemLocalId instead of ast::NodeId in CodeExtent. | Eduard-Mihai Burtescu | -4/+6 | |
| 2017-09-01 | rustc: use hir::ItemLocalId instead of ast::NodeId in CFG. | Eduard-Mihai Burtescu | -45/+44 | |
| 2017-07-28 | Remove support for `gen arg` | Alex Crichton | -1/+0 | |
| 2017-07-28 | Rename suspend to yield | John Kåre Alsaker | -1/+1 | |
| 2017-07-28 | Generator literal support | John Kåre Alsaker | -0/+2 | |
| 2017-07-05 | use field init shorthand in src/librustc | Zack M. Davis | -6/+6 | |
| The field init shorthand syntax was stabilized in 1.17.0 (aebd94f); we are now free to use it in the compiler. | ||||
| 2017-06-01 | rustc: replace method_map with Def::Method and node_substs entries. | Eduard-Mihai Burtescu | -2/+2 | |
| 2017-06-01 | rustc: avoid using MethodCallee's signature where possible. | Eduard-Mihai Burtescu | -6/+1 | |
| 2017-06-01 | rustc: keep overloaded autoderef MethodCallee's in Adjust. | Eduard-Mihai Burtescu | -2/+1 | |
| 2017-05-13 | rustc: stop interning CodeExtent, it's small enough. | Eduard-Mihai Burtescu | -2/+3 | |
| 2017-04-30 | introduce per-fn RegionMaps | Taylor Cramer | -1/+5 | |
| Instead of requesting the region maps for the entire crate, request for a given item etc. Several bits of code were modified to take `&RegionMaps` as input (e.g., the `resolve_regions_and_report_errors()` function). I am not totally happy with this setup -- I *think* I'd rather have the region maps be part of typeck tables -- but at least the `RegionMaps` works in a "parallel" way to `FreeRegionMap`, so it's not too bad. Given that I expect a lot of this code to go away with NLL, I didn't want to invest *too* much energy tweaking it. | ||||
| 2017-04-30 | intern CodeExtents | Niko Matsakis | -3/+3 | |
| Make a `CodeExtent<'tcx>` be something allocated in an arena instead of an index into the `RegionMaps`. | ||||
| 2017-04-30 | On-demandify region mapping | Taylor Cramer | -4/+4 | |
| 2017-04-24 | rustc: rename some of the queries to match tcx methods. | Eduard-Mihai Burtescu | -1/+1 | |
| 2017-03-30 | refactor the `targeted_by_break` field | Niko Matsakis | -2/+2 | |
| In master, this field was an arbitrary node-id (in fact, an id for something that doesn't even exist in the HIR -- the `catch` node). Breaks targeting this block used that id. In the newer system, this field is a boolean, and any breaks targeted this block will use the id of the block. | ||||
| 2017-03-30 | refactor if so that the "then type" is an expression | Niko Matsakis | -2/+2 | |
| 2017-03-17 | Add more catch-related CFG and lifetime tests and fix CFG bug | Taylor Cramer | -1/+1 | |
| 2017-03-17 | Implement ? in catch expressions and add tests | Taylor Cramer | -22/+72 | |
| 2017-03-13 | some style fixes | Tshepang Lekhonkhobe | -17/+15 | |
| 2017-02-28 | remove special-case code for statics and just use `borrowck_fn` | Niko Matsakis | -14/+6 | |
| Fixes #38520 | ||||
| 2017-02-18 | Rename hir::Label to hir::Destination | Taylor Cramer | -6/+6 | |
| 2017-02-18 | Properly implement labeled breaks in while conditions | Taylor Cramer | -7/+22 | |
| 2017-02-17 | Normalize labeled and unlabeled breaks | Taylor Cramer | -10/+5 | |
| 2017-01-26 | rustc: rename TyCtxt's `map` field to `hir`. | Eduard-Mihai Burtescu | -3/+3 | |
| 2017-01-25 | rename `Tables` to `TypeckTables` | Niko Matsakis | -1/+1 | |
| 2017-01-06 | rustc: keep track of tables everywhere as if they were per-body. | Eduard-Mihai Burtescu | -5/+19 | |
| 2016-12-28 | rustc: separate bodies for static/(associated)const and embedded constants. | Eduard-Mihai Burtescu | -5/+2 | |
| 2016-11-28 | rustc: embed path resolutions into the HIR instead of keeping DefMap. | Eduard-Mihai Burtescu | -18/+9 | |
| 2016-11-28 | rustc: desugar UFCS as much as possible during HIR lowering. | Eduard Burtescu | -2/+2 | |
| 2016-11-21 | Implement the `loop_break_value` feature. | Geoffry Song | -3/+4 | |
| This implements RFC 1624, tracking issue #37339. - `FnCtxt` (in typeck) gets a stack of `LoopCtxt`s, which store the currently deduced type of that loop, the desired type, and a list of break expressions currently seen. `loop` loops get a fresh type variable as their initial type (this logic is stolen from that for arrays). `while` loops get `()`. - `break {expr}` looks up the broken loop, and unifies the type of `expr` with the type of the loop. - `break` with no expr unifies the loop's type with `()`. - When building MIR, `loop` loops no longer construct a `()` value at termination of the loop; rather, the `break` expression assigns the result of the loop. `while` loops are unchanged. - `break` respects contexts in which expressions may not end with braced blocks. That is, `while break { break-value } { while-body }` is illegal; this preserves backwards compatibility. - The RFC did not make it clear, but I chose to make `break ()` inside of a `while` loop illegal, just in case we wanted to do anything with that design space in the future. This is my first time dealing with this part of rustc so I'm sure there's plenty of problems to pick on here ^_^ | ||||
| 2016-11-22 | Change HirVec<P<T>> to HirVec<T> in Expr. | Nicholas Nethercote | -6/+6 | |
| This changes structures like this: ``` [ ExprArray | 8 | P ] | v [ P | P | P | P | P | P | P | P ] | v [ ExprTup | 2 | P ] | v [ P | P ] | v [ Expr ] ``` to this: ``` [ ExprArray | 8 | P ] | v [ [ ExprTup | 2 | P ] | ... ] | v [ Expr | Expr ] ``` | ||||
| 2016-11-10 | rustc: use an Expr instead of a Block for function bodies. | Eduard Burtescu | -6/+6 | |
| 2016-11-02 | rustc: record the target type of every adjustment. | Eduard Burtescu | -1/+1 | |
| 2016-11-02 | rustc: make all read access to tcx.tables go through a method. | Eduard Burtescu | -3/+3 | |
| 2016-10-31 | Changed most vec! invocations to use square braces | iirelu | -3/+3 | |
| Most of the Rust community agrees that the vec! macro is clearer when called using square brackets [] instead of regular brackets (). Most of these ocurrences are from before macros allowed using different types of brackets. There is one left unchanged in a pretty-print test, as the pretty printer still wants it to have regular brackets. | ||||
| 2016-09-28 | Call arrays "arrays" instead of "vecs" internally | Jonas Schievink | -2/+2 | |
| 2016-09-04 | Replace `_, _` with `..` | Vadim Petrochenkov | -3/+3 | |
| 2016-08-13 | Rename empty/bang to never | Andrew Cann | -1/+2 | |
| Split Ty::is_empty method into is_never and is_uninhabited | ||||
| 2016-08-13 | Remove obsolete divergence related stuff | Andrew Cann | -1/+1 | |
| Replace FnOutput with Ty Replace FnConverging(ty) with ty Purge FnDiverging, FunctionRetTy::NoReturn and FunctionRetTy::None | ||||
| 2016-08-13 | Switch on TyEmpty | Andrew Cann | -1/+1 | |
| Parse -> ! as FnConverging(!) Add AdjustEmptyToAny coercion to all ! expressions Some fixes | ||||
| 2016-07-08 | Merge PatKind::QPath into PatKind::Path in HIR | Vadim Petrochenkov | -1/+0 | |
| 2016-06-10 | Introduce TyCtxt::expect_def/expect_resolution helpers and use them where ↵ | Vadim Petrochenkov | -2/+2 | |
| possible | ||||
| 2016-05-28 | Refactor away some functions from hir::pat_util | Vadim Petrochenkov | -2/+1 | |
| 2016-05-28 | Separate bindings from other patterns in HIR | Vadim Petrochenkov | -2/+2 | |
| 2016-05-26 | Implement `..` in tuple (struct) patterns | Vadim Petrochenkov | -3/+2 | |
| 2016-05-16 | Remove hir::Ident | Vadim Petrochenkov | -2/+2 | |
| 2016-05-11 | rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users. | Eduard Burtescu | -3/+3 | |
| 2016-05-11 | rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper. | Eduard Burtescu | -2/+2 | |
| 2016-04-06 | rustc: move middle::{def,def_id,pat_util} to hir. | Eduard Burtescu | -2/+2 | |
