Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Remove more copy-paste | Aleksey Kladov | 2019-12-20 | 1 | -121/+29 | |
| | | ||||||
* | | Remove more copy-paste | Aleksey Kladov | 2019-12-20 | 1 | -57/+30 | |
| | | ||||||
* | | Support for nested traits | Aleksey Kladov | 2019-12-20 | 3 | -6/+13 | |
| | | ||||||
* | | Support for nested statics, consts and type aliases | Aleksey Kladov | 2019-12-20 | 3 | -5/+18 | |
| | | ||||||
* | | Support for nested ADT | Aleksey Kladov | 2019-12-20 | 3 | -14/+27 | |
| | | ||||||
* | | Introduce `ContainerId` | Aleksey Kladov | 2019-12-20 | 4 | -15/+38 | |
| | | ||||||
* | | Rename ContainerId -> AssocContainerId | Aleksey Kladov | 2019-12-20 | 5 | -29/+29 | |
| | | ||||||
* | | Add local functions to bodies | Aleksey Kladov | 2019-12-20 | 2 | -18/+49 | |
| | | ||||||
* | | Implement ChildBySource for DefWithBody | Aleksey Kladov | 2019-12-19 | 1 | -42/+55 | |
| | | ||||||
* | | Add body as a possible container for items | Aleksey Kladov | 2019-12-19 | 2 | -12/+13 | |
| | | ||||||
* | | Allow storing defs in bodies | Aleksey Kladov | 2019-12-19 | 2 | -1/+3 | |
| | | ||||||
* | | Handle start imports in import groups | Aleksey Kladov | 2019-12-19 | 3 | -3/+31 | |
| | | ||||||
* | | Remove dead code | Aleksey Kladov | 2019-12-18 | 1 | -5/+0 | |
| | | ||||||
* | | Touch up docs | Aleksey Kladov | 2019-12-18 | 1 | -1/+2 | |
| | | ||||||
* | | Forbid <T>::foo syntax in mod paths | Aleksey Kladov | 2019-12-18 | 4 | -14/+21 | |
| | | ||||||
* | | Move PathKindUp | Aleksey Kladov | 2019-12-18 | 1 | -14/+14 | |
| | | ||||||
* | | Touch up docs | Aleksey Kladov | 2019-12-18 | 1 | -3/+4 | |
|/ | ||||||
* | Drop dead code | Aleksey Kladov | 2019-12-17 | 1 | -11/+0 | |
| | ||||||
* | Refactor PathKind | Aleksey Kladov | 2019-12-17 | 5 | -15/+26 | |
| | ||||||
* | Use different types for path with and without generics | Aleksey Kladov | 2019-12-14 | 10 | -267/+385 | |
| | ||||||
* | Use path macro | Florian Diebold | 2019-12-13 | 1 | -63/+32 | |
| | ||||||
* | Rename N! to name! | Florian Diebold | 2019-12-13 | 7 | -42/+42 | |
| | ||||||
* | Add macros for known names and paths | Florian Diebold | 2019-12-13 | 7 | -63/+58 | |
| | ||||||
* | Correctly infer - and ! using std::ops::{Neg,Not} | Emil Lauridsen | 2019-12-13 | 1 | -0/+8 | |
| | ||||||
* | Correct obsolete comment | Aleksey Kladov | 2019-12-12 | 1 | -2/+1 | |
| | ||||||
* | Move use tree lowering to a separate module | Aleksey Kladov | 2019-12-12 | 2 | -104/+118 | |
| | ||||||
* | Dedupe from_source impls | Aleksey Kladov | 2019-12-12 | 1 | -1/+1 | |
| | ||||||
* | Remove old location infra | Aleksey Kladov | 2019-12-12 | 2 | -63/+6 | |
| | ||||||
* | Move enum&union to new loc | Aleksey Kladov | 2019-12-12 | 10 | -48/+100 | |
| | ||||||
* | Move structs to new loc | Aleksey Kladov | 2019-12-12 | 10 | -24/+58 | |
| | ||||||
* | Move traits to the new loc | Aleksey Kladov | 2019-12-12 | 11 | -26/+58 | |
| | ||||||
* | Switch to the new location for impls | Aleksey Kladov | 2019-12-12 | 10 | -23/+54 | |
| | ||||||
*-. | Merge #2500 #2505 #2506 | bors[bot] | 2019-12-08 | 1 | -3/+4 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2500: Fix format_args expansion & go to definition r=matklad a=flodiebold The expansion of format_args wasn't yet correct enough to type-check. Also make macros in statement position expand to expressions for now, since it's not handled correctly in HIR lowering yet. This finally fixes go to definition within print macros, I think :slightly_smiling_face: 2505: Remove more dead code r=matklad a=matklad 2506: Remove one more Ty r=matklad a=matklad Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | Expand macros in blocks to expressions for now | Florian Diebold | 2019-12-08 | 1 | -3/+4 | |
| |/ | | | | | | | Expanding to statements isn't handled properly yet and breaks things. | |||||
| | | ||||||
| \ | ||||||
*-. \ | Merge #2501 #2502 #2503 | bors[bot] | 2019-12-08 | 1 | -149/+57 | |
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2501: Fix coercion from &Foo to an inference variable in a reference r=matklad a=flodiebold We didn't try to unify within the reference, but we should. 2502: Delay legacy macro expansion r=matklad a=edwin0cheng This PR make the following changes: * Delay legacy macro expansion such that we concentrated all item collecting macro expansion in one place. * Add `MacroDirective` to replace 3-tuples * After this refactoring, no macro is expanded recursively, hence we can remove the `MacroStackMonitor` and we handle the expansion limit by the fix-point loop count. 2503: Code: check whether the LSP binary is in PATH r=matklad a=lnicola I'm not really sure about the TS changes. I just made a couple of functions async and it seems to work. Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: Edwin Cheng <[email protected]> Co-authored-by: Laurențiu Nicola <[email protected]> | |||||
| * | | Delay legacy macro expansion | Edwin Cheng | 2019-12-08 | 1 | -149/+57 | |
| |/ | ||||||
* | | Merge #2498 | bors[bot] | 2019-12-08 | 1 | -16/+26 | |
|\ \ | |/ |/| | | | | | | | | | | | 2498: Drop some unused methods r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | Cleanup Field ty | Aleksey Kladov | 2019-12-08 | 1 | -16/+26 | |
| | | ||||||
* | | Merge #2466 | bors[bot] | 2019-12-08 | 3 | -44/+165 | |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | 2466: Handle partial resolve cases r=matklad a=edwin0cheng Another try to fix #2443 : We resolve all imports every time in `DefCollector::collect` loop even it is resolved previously. This is because other unresolved imports and macros will bring in another `PerNs`, so we can only assume that it has been partially resolved. Co-authored-by: Edwin Cheng <[email protected]> | |||||
| * | Refactor resolve_imports logic | Edwin Cheng | 2019-12-07 | 2 | -40/+129 | |
| | | ||||||
| * | Push glob_imports only if non-exists | Edwin Cheng | 2019-12-07 | 1 | -4/+4 | |
| | | ||||||
| * | Add tests | Edwin Cheng | 2019-12-06 | 1 | -0/+32 | |
| | | ||||||
* | | Remove MacroFileKind | Edwin Cheng | 2019-12-08 | 2 | -6/+4 | |
| | | ||||||
* | | Rename GenericParam -> TypeParam | Aleksey Kladov | 2019-12-07 | 4 | -29/+29 | |
| | | | | | | | | We don't have LifetimeParam yet, but they are planned! | |||||
* | | Classify name works for TypeParams | Aleksey Kladov | 2019-12-07 | 3 | -2/+35 | |
| | | ||||||
* | | Track source of type parameters | Aleksey Kladov | 2019-12-07 | 1 | -21/+72 | |
| | | ||||||
* | | Minor | Aleksey Kladov | 2019-12-07 | 1 | -3/+4 | |
| | | ||||||
* | | Remove idx and parent generics from generics | Aleksey Kladov | 2019-12-07 | 2 | -86/+42 | |
| | | | | | | | | | | This makes `hir_def::GenericParams` flatter. The logic for re-numbering the params is moved to hir instead. | |||||
* | | Store GenericParams in arena | Aleksey Kladov | 2019-12-07 | 3 | -13/+24 | |
| | | ||||||
* | | Merge #2484 | bors[bot] | 2019-12-06 | 5 | -277/+299 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2484: DynMap r=matklad a=matklad Implement a `DynMap` a semi-dynamic, semi-static map, which helps to thread heterogeneously typed info in a uniform way. Totally inspired by https://github.com/JetBrains/kotlin/blob/df3bee30384787d8951ea548a4257c2cb52a16a3/compiler/frontend/src/org/jetbrains/kotlin/resolve/BindingContext.java. @flodiebold wdyt? Seems like a potentially useful pattern for various source-map-like things. Co-authored-by: Aleksey Kladov <[email protected]> |