Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Some cleanup and additional tests | Florian Diebold | 2019-02-01 | 2 | -6/+18 | |
| | ||||||
* | Make the Resolution variants tuple variants | Florian Diebold | 2019-02-01 | 4 | -32/+24 | |
| | ||||||
* | Cleanup | Florian Diebold | 2019-02-01 | 4 | -23/+12 | |
| | ||||||
* | Use the new Resolver API for goto def | Florian Diebold | 2019-02-01 | 4 | -11/+53 | |
| | ||||||
* | Use the new Resolver API in completion | Florian Diebold | 2019-02-01 | 5 | -38/+115 | |
| | ||||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 12 | -250/+295 | |
| | ||||||
* | Implement methods to build a resolver | Florian Diebold | 2019-02-01 | 5 | -73/+166 | |
| | ||||||
* | Sketching the resolver API | Florian Diebold | 2019-02-01 | 8 | -11/+134 | |
| | ||||||
* | split HirDatabase api | csmoe | 2019-02-01 | 20 | -105/+145 | |
| | ||||||
* | split hirdatabase | csmoe | 2019-02-01 | 1 | -20/+26 | |
| | ||||||
* | remove hard-coded support for ctry macro | Aleksey Kladov | 2019-02-01 | 1 | -29/+1 | |
| | | | | | It was used mainly to prevent HirFileId infra from bitroting, but the `vec![]` macro can serve that just as well! | |||||
* | Go To Implementation for Trait | kjeremy | 2019-01-31 | 2 | -20/+62 | |
| | ||||||
* | move test | Aleksey Kladov | 2019-01-31 | 1 | -114/+0 | |
| | ||||||
* | split macros across crates | Aleksey Kladov | 2019-01-31 | 2 | -2/+2 | |
| | ||||||
* | preserve token spacing | Aleksey Kladov | 2019-01-31 | 1 | -15/+29 | |
| | ||||||
* | first test sort-of passes | Aleksey Kladov | 2019-01-31 | 1 | -6/+25 | |
| | ||||||
* | move macros to a separate crate | Aleksey Kladov | 2019-01-31 | 4 | -299/+2 | |
| | ||||||
* | parses simple macro | Aleksey Kladov | 2019-01-31 | 3 | -23/+131 | |
| | ||||||
* | handle multibyte tokens | Aleksey Kladov | 2019-01-31 | 2 | -23/+31 | |
| | ||||||
* | add eat methods | Aleksey Kladov | 2019-01-31 | 1 | -6/+23 | |
| | ||||||
* | parsing scaffold | Aleksey Kladov | 2019-01-31 | 1 | -4/+45 | |
| | ||||||
* | debug impls | Aleksey Kladov | 2019-01-31 | 3 | -2/+47 | |
| | ||||||
* | add repeats to ast | Aleksey Kladov | 2019-01-31 | 1 | -0/+12 | |
| | ||||||
* | convert punts and literals | Aleksey Kladov | 2019-01-31 | 1 | -2/+14 | |
| | ||||||
* | start tt convertions boilerplate | Aleksey Kladov | 2019-01-31 | 2 | -7/+43 | |
| | ||||||
* | add conversion boilerplate | Aleksey Kladov | 2019-01-31 | 3 | -7/+17 | |
| | ||||||
* | add macro by example ide | Aleksey Kladov | 2019-01-31 | 2 | -0/+52 | |
| | ||||||
* | shorten name :-) | Aleksey Kladov | 2019-01-31 | 2 | -1/+1 | |
| | ||||||
* | start token tree module | Aleksey Kladov | 2019-01-31 | 2 | -0/+39 | |
| | ||||||
* | Merge #701 | bors[bot] | 2019-01-30 | 5 | -19/+46 | |
|\ | | | | | | | | | | | | | | | | | | | 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <[email protected]> | |||||
| * | Add test for passing on ref expectations | Marcus Klaas de Vries | 2019-01-30 | 3 | -8/+15 | |
| | | ||||||
| * | Infer type of match guard | Marcus Klaas de Vries | 2019-01-28 | 4 | -15/+35 | |
| | | ||||||
* | | Move expr_scopes query to its module | Florian Diebold | 2019-01-30 | 3 | -11/+17 | |
| | | ||||||
* | | Rename FnScopes -> ExprScopes | Florian Diebold | 2019-01-30 | 8 | -26/+26 | |
| | | | | | | | | | | The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore. | |||||
* | | Use Crate instead of CrateId | Aleksey Kladov | 2019-01-30 | 9 | -45/+36 | |
| | | ||||||
* | | move item_map_query | Aleksey Kladov | 2019-01-30 | 3 | -35/+29 | |
| | | ||||||
* | | Resolve crate | kjeremy | 2019-01-30 | 1 | -1/+1 | |
| | | ||||||
* | | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 6 | -14/+115 | |
| | | ||||||
* | | Use match-all instead of individual branches | WizardOfMenlo | 2019-01-28 | 1 | -5/+1 | |
| | | ||||||
* | | Added support for primitive types type inference when using std::ops::Not | WizardOfMenlo | 2019-01-28 | 3 | -15/+41 | |
| | | ||||||
* | | Process second review | Marcus Klaas de Vries | 2019-01-27 | 3 | -44/+35 | |
| | | ||||||
* | | Use type information from the turbofish | Marcus Klaas de Vries | 2019-01-27 | 4 | -12/+40 | |
| | | ||||||
* | | Add a FnSig to Ty::FnDef | Marcus Klaas de Vries | 2019-01-27 | 7 | -68/+94 | |
| | | ||||||
* | | Address some issues flagged in review | Marcus Klaas de Vries | 2019-01-27 | 3 | -39/+25 | |
| | | ||||||
* | | Add missing ty test snapshot | Marcus Klaas de Vries | 2019-01-27 | 1 | -0/+23 | |
| | | ||||||
* | | Add type params to FnSignature | Marcus Klaas de Vries | 2019-01-27 | 9 | -137/+107 | |
| | | ||||||
* | | Initial implementation of generics for method calls | Marcus Klaas de Vries | 2019-01-27 | 2 | -13/+72 | |
| | | ||||||
* | | First attempt at generic type inference for fns | Marcus Klaas de Vries | 2019-01-27 | 5 | -20/+80 | |
|/ | ||||||
* | Revert parts of "Test non standard crate root" | Erlend Tobiassen | 2019-01-27 | 2 | -15/+9 | |
| | | | | Prefer cursor position over file_map | |||||
* | Remove dbg!(...) | Erlend Tobiassen | 2019-01-27 | 1 | -1/+1 | |
| |