Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename Rename | Aleksey Kladov | 2020-07-30 | 2 | -2/+2 |
| | |||||
* | Split ItemList & AssocItemList | Aleksey Kladov | 2020-07-30 | 1 | -10/+9 |
| | |||||
* | Rename ModuleItem -> Item | Aleksey Kladov | 2020-07-29 | 6 | -62/+58 |
| | |||||
* | Switch to ungrammar from ast_src | Aleksey Kladov | 2020-07-29 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | The primary advantage of ungrammar is that it (eventually) allows one to describe concrete syntax tree structure -- with alternatives and specific sequence of tokens & nodes. That should be re-usable for: * generate `make` calls * Rust reference * Hypothetical parser's evented API We loose doc comments for the time being unfortunately. I don't think we should add support for doc comments to ungrammar -- they'll make grammar file hard to read. We might supply docs as out-of band info, or maybe just via a reference, but we'll think about that once things are no longer in flux | ||||
* | Cleanup CFG API | Aleksey Kladov | 2020-07-23 | 1 | -3/+6 |
| | |||||
* | Check that visibility upgrade path is hit | Jonas Schievink | 2020-07-22 | 2 | -4/+8 |
| | |||||
* | Support `Trait as _` imports | Jonas Schievink | 2020-07-21 | 5 | -26/+244 |
| | |||||
* | Simplify | Aleksey Kladov | 2020-07-20 | 2 | -11/+11 |
| | |||||
* | Remove insta for ra_hir_def | Aleksey Kladov | 2020-07-17 | 3 | -164/+169 |
| | |||||
* | Rewrite def map tests from insta to expect | Aleksey Kladov | 2020-07-17 | 5 | -1938/+1821 |
| | | | | Those indentation markers are annoying... | ||||
* | Semantical call info | Aleksey Kladov | 2020-07-16 | 1 | -1/+9 |
| | |||||
* | Remove TypeCtor interning | Florian Diebold | 2020-07-15 | 1 | -4/+4 |
| | | | | Our TypeCtor and Chalk's TypeName match now! | ||||
* | Cleanup limits | Aleksey Kladov | 2020-07-15 | 1 | -7/+7 |
| | |||||
* | Check cancellation when updating imports recursively | Aleksey Kladov | 2020-07-15 | 1 | -0/+1 |
| | | | | | For winapi, this takes a lot of CPU time without doing queries and causes the main event loop to stall on cancellation. | ||||
* | Micro-optimize update | Aleksey Kladov | 2020-07-15 | 1 | -5/+6 |
| | |||||
* | Update ItemTree snapshots | Jonas Schievink | 2020-07-14 | 1 | -12/+12 |
| | |||||
* | Thread varargs through r-a | Jonas Schievink | 2020-07-14 | 4 | -3/+22 |
| | |||||
* | ItemTree: Lower tuple types despite invalid type | Jonas Schievink | 2020-07-14 | 1 | -7/+6 |
| | |||||
* | Guard against infinite macro expansions | Aleksey Kladov | 2020-07-14 | 2 | -0/+29 |
| | | | | closes #4463 | ||||
* | Add a license field to all the crates | Yuki Okushi | 2020-07-14 | 1 | -0/+1 |
| | |||||
* | Don't copy-paste `impl_froms` into every crate | Aleksey Kladov | 2020-07-13 | 1 | -30/+15 |
| | |||||
* | Rewrite item_tree tests to expect | Aleksey Kladov | 2020-07-11 | 2 | -105/+110 |
| | | | | insta review wouldn't update the test, so ... | ||||
* | Extern fns are implicitly unsafe | Aleksey Kladov | 2020-07-11 | 1 | -0/+1 |
| | | | | closes #4865 | ||||
* | Bump macro recursion limit in release | Aleksey Kladov | 2020-07-11 | 1 | -2/+8 |
| | |||||
* | More tight recursion limit when expanding macros in function bodies | Aleksey Kladov | 2020-07-11 | 1 | -6/+48 |
| | | | | | | | | | | | cc #4944 cc #5317 This doesn't fully close #4944 -- looks like we hit SO in syntax highlighting, when we use `Semantics::expand_macro`. Seems like we need to place expansion limit on the macro itself (store it as a part of MacroCallId?)! | ||||
* | Goto type definition works for self | Aleksey Kladov | 2020-07-10 | 1 | -0/+5 |
| | |||||
* | Re-enable IDE features for incomplete impl blocs | Aleksey Kladov | 2020-07-09 | 1 | -2/+3 |
| | |||||
* | Remove relative_path dependency | Aleksey Kladov | 2020-07-08 | 1 | -29/+87 |
| | |||||
* | Switch to fully dynamically dispatched salsa | Aleksey Kladov | 2020-07-07 | 2 | -15/+15 |
| | | | | This improves compile times quite a bit | ||||
* | Use SmolStr | Jonas Schievink | 2020-07-02 | 1 | -3/+4 |
| | |||||
* | Fix tests | Jonas Schievink | 2020-07-02 | 1 | -1/+27 |
| | |||||
* | Record and suggest trait items via ImportMap | Jonas Schievink | 2020-07-02 | 1 | -8/+39 |
| | |||||
* | ItemTree: Lower fields despite invalid type | Jonas Schievink | 2020-07-01 | 1 | -1/+1 |
| | |||||
* | Remove `entries_without_primitives` | Jonas Schievink | 2020-06-30 | 2 | -11/+3 |
| | |||||
* | Simplify entry API usage | Jonas Schievink | 2020-06-30 | 1 | -21/+12 |
| | |||||
* | Reorder imports | Jonas Schievink | 2020-06-30 | 1 | -1/+2 |
| | |||||
* | Split namespace maps in `ItemScope` | Jonas Schievink | 2020-06-30 | 1 | -34/+79 |
| | | | | Reduces memory usage of the CrateDefMap query by ~130 MB on r-a. | ||||
* | Cleanup changes leftover from previous tracking attempt | Paul Daniel Faria | 2020-06-27 | 1 | -14/+16 |
| | |||||
* | Remove track_parent and parent_map, replace with simple walk in missign ↵ | Paul Daniel Faria | 2020-06-27 | 2 | -272/+98 |
| | | | | unsafe validator | ||||
* | Fix issues caused during rebase | Paul Daniel Faria | 2020-06-27 | 1 | -45/+63 |
| | |||||
* | unsafe: Clean up, improve tracking, add debug_assert | Paul Daniel Faria | 2020-06-27 | 2 | -81/+158 |
| | | | | | | Move unsafe_expressions to unsafe_validation.rs, replace vec tracking of child exprs with inline macro, add debug assert to ensure tracked children match walked children exactly | ||||
* | Track expr parents during lowering, use parent map when checking if unsafe ↵ | Paul Daniel Faria | 2020-06-27 | 2 | -88/+165 |
| | | | | exprs are within unsafe blocks | ||||
* | Rename Expr::UnsafeBlock to Expr::Unsafe | Paul Daniel Faria | 2020-06-27 | 2 | -3/+3 |
| | |||||
* | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe ↵ | Paul Daniel Faria | 2020-06-27 | 2 | -2/+9 |
| | | | | exprs within unsafe block | ||||
* | Merge #5033 | bors[bot] | 2020-06-27 | 3 | -20/+198 |
|\ | | | | | | | | | | | | | | | 5033: Order of glob imports should not affect import shadowing r=Nashenas88 a=Nashenas88 Fixes #5032 Co-authored-by: Paul Daniel Faria <[email protected]> | ||||
| * | Replace simple is_named with matches macro | Paul Daniel Faria | 2020-06-27 | 1 | -10/+1 |
| | | |||||
| * | Remove comment that's no longer valid | Paul Daniel Faria | 2020-06-26 | 1 | -2/+0 |
| | | |||||
| * | Split glob import map to per-ns, switch ExprCollector to use a simpler push_res | Paul Daniel Faria | 2020-06-26 | 3 | -33/+64 |
| | | |||||
| * | Track import type outside of , use enum rather than bool to improve readability | Paul Daniel Faria | 2020-06-25 | 4 | -40/+73 |
| | | |||||
| * | Revert resolution of all glob imports first, replace with tracking of glob ↵ | Paul Daniel Faria | 2020-06-25 | 4 | -49/+119 |
| | | | | | | | | imports and shadowing when more specific |