Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | internal: move diagnostics to hir | Aleksey Kladov | 2021-05-25 | 1 | -10/+15 |
| | | | | | | | | | | | | | | | | | | | | | | | The idea here is to eventually get rid of `dyn Diagnostic` and `DiagnosticSink` infrastructure altogether, and just have a `enum hir::Diagnostic` instead. The problem with `dyn Diagnostic` is that it is defined in the lowest level of the stack (hir_expand), but is used by the highest level (ide). As a first step, we free hir_expand and hir_def from `dyn Diagnostic` and kick the can up to `hir_ty`, as an intermediate state. The plan is then to move DiagnosticSink similarly to the hir crate, and, as final third step, remove its usage from the ide. One currently unsolved problem is testing. You can notice that the test which checks precise diagnostic ranges, unresolved_import_in_use_tree, was moved to the ide layer. Logically, only IDE should have the infra to render a specific range. At the same time, the range is determined with the data produced in hir_def and hir crates, so this layering is rather unfortunate. Working on hir_def shouldn't require compiling `ide` for testing. | ||||
* | Cleanup imports | Aleksey Kladov | 2021-05-13 | 1 | -2/+2 |
| | |||||
* | Reuse database in LowerCtx | Jonas Schievink | 2021-05-06 | 1 | -1/+1 |
| | |||||
* | Don't store call-site text offsets in hygiene info | Jonas Schievink | 2021-05-06 | 1 | -4/+4 |
| | |||||
* | hir_ty: keep body::Expander in TyLoweringContext | cynecx | 2021-04-18 | 1 | -10/+8 |
| | |||||
* | hir_def: refactor expand_macro_type and cleanups | cynecx | 2021-04-17 | 1 | -56/+16 |
| | |||||
* | hir_ty: Expand macros at type position | cynecx | 2021-04-17 | 1 | -14/+60 |
| | |||||
* | Merge #8324 | bors[bot] | 2021-04-04 | 1 | -1/+11 |
|\ | | | | | | | | | | | | | | | | | | | 8324: Add `Body::shrink_to_fit` r=jonas-schievink a=jonas-schievink Saves ~15 MB bors r+ Co-authored-by: Jonas Schievink <[email protected]> | ||||
| * | Add `Body::shrink_to_fit` | Jonas Schievink | 2021-04-04 | 1 | -1/+11 |
| | | |||||
* | | Only remember blocks that have a DefMap | Jonas Schievink | 2021-04-04 | 1 | -1/+1 |
|/ | |||||
* | Access a body's block def maps via a method | Jonas Schievink | 2021-04-04 | 1 | -1/+11 |
| | |||||
* | Follow established ErrorEmitted pattern | Brandon | 2021-03-17 | 1 | -5/+2 |
| | |||||
* | Fix missing unresolved macro diagnostic in function body | Brandon | 2021-03-16 | 1 | -8/+11 |
| | |||||
* | Simplify source maps for fields | Aleksey Kladov | 2021-03-15 | 1 | -3/+16 |
| | |||||
* | Remove `item_scope` field from `Body` | Jonas Schievink | 2021-03-09 | 1 | -5/+2 |
| | |||||
* | Store inner `BlockId`s in `Body` | Jonas Schievink | 2021-03-09 | 1 | -1/+3 |
| | |||||
* | Use upstream cov-mark | Laurențiu Nicola | 2021-03-08 | 1 | -2/+1 |
| | |||||
* | Rename a few `crate_def_map`s to `def_map` | Jonas Schievink | 2021-03-06 | 1 | -2/+2 |
| | | | | These could all be block `DefMap`s instead of crate-level `DefMap`s | ||||
* | For unresolved macros, hightlight only the last segment | Aleksey Kladov | 2021-02-28 | 1 | -1/+1 |
| | |||||
* | Expander: store a LocalModuleId, not ModuleId | Jonas Schievink | 2021-02-04 | 1 | -7/+4 |
| | | | | | It already stores the DefMap containing the module, so having a full ModuleId is unnecessary and makes it easier to mix things up | ||||
* | Use block_def_map in body lowering | Jonas Schievink | 2021-02-03 | 1 | -13/+6 |
| | |||||
* | Revert "Use block_def_map in body lowering" | Jonas Schievink | 2021-02-02 | 1 | -6/+13 |
| | |||||
* | Use block_def_map in body lowering | Jonas Schievink | 2021-02-01 | 1 | -13/+6 |
| | |||||
* | add more counts | Aleksey Kladov | 2021-01-27 | 1 | -0/+2 |
| | |||||
* | Obtain `ModuleId`'s `DefMap` through a method | Jonas Schievink | 2021-01-22 | 1 | -1/+1 |
| | |||||
* | Revert "Make use of `block_def_map` in body lowering" | Jonas Schievink | 2021-01-21 | 1 | -6/+13 |
| | |||||
* | Make use of `block_def_map` in body lowering | Jonas Schievink | 2021-01-21 | 1 | -13/+6 |
| | | | | | Removes the `local_scope` hack from `Expander` in favor of tracking the `DefMap` in use during body lowering | ||||
* | DefMap: hide remaining crate-visible fields | Jonas Schievink | 2021-01-20 | 1 | -1/+1 |
| | |||||
* | Rename `CrateDefMap` to `DefMap` | Jonas Schievink | 2021-01-18 | 1 | -2/+2 |
| | |||||
* | Remove map module from la-arena public API | Aramis Razzaghipour | 2021-01-15 | 1 | -1/+1 |
| | | | | | | It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private. | ||||
* | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -1/+1 |
| | |||||
* | Track labels in the HIR | Lukas Wirth | 2020-12-24 | 1 | -1/+23 |
| | |||||
* | Refactor attributes API to allow handling cfg_attr | Jonas Schievink | 2020-12-18 | 1 | -8/+9 |
| | |||||
* | Properly decrement recursion count in Expander | Lukas Wirth | 2020-12-09 | 1 | -2/+2 |
| | |||||
* | Propagate eager expansion errors | Jonas Schievink | 2020-12-03 | 1 | -7/+13 |
| | |||||
* | Emit macro diagnostics when lowering bodies | Jonas Schievink | 2020-11-30 | 1 | -23/+50 |
| | |||||
* | Diagnose #[cfg]s in bodies | Jonas Schievink | 2020-10-23 | 1 | -42/+21 |
| | |||||
* | Improve readability | Aleksey Kladov | 2020-10-17 | 1 | -2/+4 |
| | |||||
* | Rename ra_hir_def -> hir_def | Aleksey Kladov | 2020-08-13 | 1 | -0/+360 |