Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Filter out error predicates in type bounds as well | Florian Diebold | 2019-12-22 | 2 | -2/+29 |
| | |||||
* | Introduce our own Chalk TypeFamily, instead of using ChalkIr | Florian Diebold | 2019-12-22 | 4 | -87/+126 |
| | | | | | | It's not very different, except we can directly use Salsa IDs instead of casting them. This means we need to refactor the handling of errors to get rid of UNKNOWN_TRAIT though. | ||||
* | Refactor Chalk integration some more | Florian Diebold | 2019-12-22 | 2 | -79/+83 |
| | |||||
* | Update Chalk, clean up Chalk integration a bit | Florian Diebold | 2019-12-22 | 4 | -125/+103 |
| | |||||
* | Rudimentary name resolution for local items | Aleksey Kladov | 2019-12-22 | 6 | -49/+145 |
| | |||||
* | Simplify | Aleksey Kladov | 2019-12-22 | 2 | -16/+17 |
| | |||||
* | Refactor | Aleksey Kladov | 2019-12-22 | 2 | -10/+11 |
| | |||||
* | Share impl Scope between modules and blocks | Aleksey Kladov | 2019-12-22 | 3 | -53/+56 |
| | |||||
* | Simplify | Aleksey Kladov | 2019-12-22 | 7 | -58/+41 |
| | |||||
* | Remove unused parameters | Aleksey Kladov | 2019-12-22 | 2 | -23/+13 |
| | |||||
* | Remove import field | Aleksey Kladov | 2019-12-22 | 2 | -19/+8 |
| | |||||
* | Separate defs from imports | Aleksey Kladov | 2019-12-22 | 2 | -5/+8 |
| | |||||
* | Refactor PerNs construction | Aleksey Kladov | 2019-12-22 | 2 | -49/+52 |
| | |||||
* | Minor rename | Aleksey Kladov | 2019-12-22 | 1 | -8/+8 |
| | |||||
* | More compact profiling display | Aleksey Kladov | 2019-12-22 | 1 | -4/+4 |
| | |||||
* | Don't fire no-op changes after files are saved to disk | Aleksey Kladov | 2019-12-22 | 2 | -7/+9 |
| | |||||
* | Merge #2642 | bors[bot] | 2019-12-22 | 4 | -6/+11 |
|\ | | | | | | | | | | | | | | | 2642: Use name instead of ident in parser for macro 2.0 syntax r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Use name instead of ident for macro 2.0 sytnax | Edwin Cheng | 2019-12-22 | 4 | -6/+11 |
| | | |||||
* | | Merge #2641 | bors[bot] | 2019-12-22 | 6 | -0/+71 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2641: Parse const generics r=matklad a=roblabla Adds very primitive support for parsing const generics (`const IDENT: TY`) so that rust-analyzer stops complaining about the syntax being invalid. Fixes #1574 Fixes #2281 Co-authored-by: roblabla <[email protected]> | ||||
| * | | Parse const generics | roblabla | 2019-12-22 | 6 | -0/+71 |
| | | | | | | | | | | | | | | | Fixes #1574 Fixes #2281 | ||||
* | | | Add some module docs | Jeremy Kolb | 2019-12-21 | 9 | -9/+14 |
| | | | |||||
* | | | More profiling | Aleksey Kladov | 2019-12-21 | 3 | -2/+11 |
| | | | |||||
* | | | Merge #2637 | bors[bot] | 2019-12-21 | 5 | -3/+18 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2637: Optimize and profile r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | | Optimize and profile | Aleksey Kladov | 2019-12-21 | 5 | -3/+18 |
| | | | | |||||
* | | | | Move LocalImportId | Aleksey Kladov | 2019-12-21 | 4 | -28/+20 |
| | | | | |||||
* | | | | Remove import source map | Aleksey Kladov | 2019-12-21 | 5 | -66/+15 |
| | | | | |||||
* | | | | Remove import from resolution | Aleksey Kladov | 2019-12-21 | 2 | -17/+12 |
|/ / / | |||||
* | | | Remove imports from hir | Aleksey Kladov | 2019-12-21 | 8 | -45/+22 |
| | | | |||||
* | | | Revert "Merge #2629" | Aleksey Kladov | 2019-12-21 | 13 | -71/+166 |
| | | | | | | | | | | | | | | | This reverts commit cdc9d682b066b110e0a44e5f8f1c574b38c16ba9, reversing changes made to 90ef070db3dce0a7acb9cd11d0b0d72de13c9d79. | ||||
* | | | Add dummy implementations of env! and option_env! builtins | Florian Diebold | 2019-12-21 | 3 | -43/+99 |
| | | | | | | | | | | | | | | | | | | They don't do anything except return the correct type. Also refactor the builtin macro tests a bit. | ||||
* | | | Merge #2629 | bors[bot] | 2019-12-21 | 13 | -166/+71 |
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | 2629: Remove imports from hir r=matklad a=matklad We only used them to avoid self-confirming completions (`use self::foo`), but that can be handled more locally. bors r+ Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | Privatize LocalImportID | Aleksey Kladov | 2019-12-21 | 3 | -11/+8 |
| | | | |||||
| * | | Remove import source map | Aleksey Kladov | 2019-12-21 | 5 | -72/+15 |
| | | | |||||
| * | | Don't track imports | Aleksey Kladov | 2019-12-21 | 2 | -48/+26 |
| | | | |||||
| * | | Remove hir for imports | Aleksey Kladov | 2019-12-21 | 5 | -36/+23 |
| | | | |||||
* | | | Merge #2628 | bors[bot] | 2019-12-21 | 10 | -331/+279 |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2628: Add macro 2.0 support in parser r=matklad a=edwin0cheng This PR added a new syntax kind : `MACRO_DEF` and a keyword `MACRO_KW` there are two syntax for declarative macro 2.0 : 1. Normal : `macro m { ($i:ident) => {} }` , which handle similar to legacy one. 2. Call like: `macro m($i:ident) {}`, it produces a single token tree which have two child token trees : `($i:ident)` and `{}` Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | | Add macro keyword to ITEM_RECOVERY_SET | Edwin Cheng | 2019-12-21 | 1 | -1/+1 |
| | | | |||||
| * | | Add macro 2.0 support in parser | Edwin Cheng | 2019-12-21 | 10 | -330/+278 |
| | | | |||||
* | | | Merge #2626 | bors[bot] | 2019-12-21 | 2 | -10/+59 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2626: Recursive collect macros in impl items r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | | | Add a limit for protect against infinite recursion | Edwin Cheng | 2019-12-20 | 1 | -2/+10 |
| | | | | |||||
| * | | | Recursive collect macros in impl items | Edwin Cheng | 2019-12-20 | 2 | -10/+51 |
| |/ / | |||||
* | | | Merge #2627 | bors[bot] | 2019-12-21 | 3 | -30/+10 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2627: Use SelectionRange from LSP 3.15 r=matklad a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]> | ||||
| * | | | Use SelectionRange from LSP 3.15 | Jeremy Kolb | 2019-12-20 | 3 | -30/+10 |
| |/ / | |||||
* | | | Merge #2625 | bors[bot] | 2019-12-21 | 16 | -80/+70 |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | 2625: Clippy lints r=matklad a=kjeremy Co-authored-by: kjeremy <[email protected]> | ||||
| * | | Clippy lints | kjeremy | 2019-12-20 | 16 | -80/+70 |
| | | | |||||
* | | | Merge #2624 | bors[bot] | 2019-12-20 | 15 | -178/+210 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2624: Separate module item from module scope r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | | Make legacy macros private | Aleksey Kladov | 2019-12-20 | 4 | -19/+24 |
| | | | | |||||
| * | | | Privitize impls | Aleksey Kladov | 2019-12-20 | 4 | -6/+12 |
| | | | | |||||
| * | | | Make items private | Aleksey Kladov | 2019-12-20 | 2 | -46/+42 |
| | | | | |||||
| * | | | Move some code to scope | Aleksey Kladov | 2019-12-20 | 2 | -26/+37 |
| | | | |