Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Rename TypeAliasDef -> TypeAlias | Aleksey Kladov | 2020-07-30 | 5 | -9/+9 | |
| | ||||||
* | Rename FnDef -> Fn | Aleksey Kladov | 2020-07-30 | 5 | -21/+21 | |
| | ||||||
* | Update tests | Aleksey Kladov | 2020-07-30 | 1 | -2/+2 | |
| | ||||||
* | Rename UseItem -> Use | Aleksey Kladov | 2020-07-30 | 4 | -7/+7 | |
| | ||||||
* | Update tests | Aleksey Kladov | 2020-07-30 | 1 | -1/+1 | |
| | ||||||
* | Finish extern crates grammar | Aleksey Kladov | 2020-07-30 | 3 | -6/+6 | |
| | ||||||
* | 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 |