Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add support for macro in symbo_index | Edwin Cheng | 2020-03-22 | 1 | -11/+1 |
| | |||||
* | Simplify Arena to use a generic index | Aleksey Kladov | 2020-03-19 | 1 | -3/+3 |
| | |||||
* | Use `dyn Trait` for working with databse | Aleksey Kladov | 2020-03-16 | 1 | -7/+4 |
| | | | | | | | It improves compile time in `--release` mode quite a bit, it doesn't really slow things down and, conceptually, it seems closer to what we want the physical architecture to look like (we don't want to monomorphise EVERYTHING in a single leaf crate). | ||||
* | Support local macro_rules | Edwin Cheng | 2020-03-14 | 1 | -12/+36 |
| | |||||
* | Explicitly remember desugard pats | Aleksey Kladov | 2020-03-06 | 1 | -4/+8 |
| | |||||
* | Explicitly remember desugard exprs | Aleksey Kladov | 2020-03-06 | 1 | -15/+16 |
| | |||||
* | Rename ast::ImplBlock -> ast::ImplDef | Aleksey Kladov | 2020-02-29 | 1 | -1/+1 |
| | |||||
* | Fix handling of const patterns | Florian Diebold | 2020-02-21 | 1 | -3/+35 |
| | | | | | | | | | E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618. | ||||
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 1 | -1/+1 |
| | |||||
* | Merge #3062 | bors[bot] | 2020-02-11 | 1 | -4/+12 |
|\ | | | | | | | | | | | | | | | | | | | 3062: Implement slice pattern AST > HIR lowering r=jplatte a=jplatte WIP. The necessary changes for parsing are implemented, but actual inference is not yet. Just wanted to upload what I've got so far so it doesn't get duplicated :) Will fix #3043 Co-authored-by: Jonas Platte <[email protected]> | ||||
| * | Implement slice pattern AST > HIR lowering | Jonas Platte | 2020-02-11 | 1 | -4/+12 |
| | | |||||
* | | Add or- and parenthesized-patterns | Matthew Jasper | 2020-02-09 | 1 | -5/+10 |
|/ | |||||
* | Merge #2650 | bors[bot] | 2019-12-29 | 1 | -7/+13 |
|\ | | | | | | | | | | | | | | | 2650: Add macro call support for SourceAnalyzer::type_of r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Use pre-stored macro file | Edwin Cheng | 2019-12-23 | 1 | -7/+13 |
| | | |||||
* | | Rename ResolvedVisibility -> Visibility | Florian Diebold | 2019-12-26 | 1 | -1/+1 |
| | | |||||
* | | Keep track of visibility during def collection | Florian Diebold | 2019-12-26 | 1 | -1/+4 |
|/ | |||||
* | Rudimentary name resolution for local items | Aleksey Kladov | 2019-12-22 | 1 | -10/+22 |
| | |||||
* | Share impl Scope between modules and blocks | Aleksey Kladov | 2019-12-22 | 1 | -2/+2 |
| | |||||
* | Handle closure return types | Florian Diebold | 2019-12-20 | 1 | -1/+2 |
| | | | | Fixes #2547. | ||||
* | Support for nested traits | Aleksey Kladov | 2019-12-20 | 1 | -2/+9 |
| | |||||
* | Support for nested statics, consts and type aliases | Aleksey Kladov | 2019-12-20 | 1 | -1/+14 |
| | |||||
* | Support for nested ADT | Aleksey Kladov | 2019-12-20 | 1 | -7/+19 |
| | |||||
* | Introduce `ContainerId` | Aleksey Kladov | 2019-12-20 | 1 | -2/+2 |
| | |||||
* | Rename ContainerId -> AssocContainerId | Aleksey Kladov | 2019-12-20 | 1 | -2/+2 |
| | |||||
* | Add local functions to bodies | Aleksey Kladov | 2019-12-20 | 1 | -2/+22 |
| | |||||
* | Allow storing defs in bodies | Aleksey Kladov | 2019-12-19 | 1 | -0/+1 |
| | |||||
* | Rename N! to name! | Florian Diebold | 2019-12-13 | 1 | -2/+2 |
| | |||||
* | Add macros for known names and paths | Florian Diebold | 2019-12-13 | 1 | -2/+2 |
| | |||||
* | 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. | ||||
* | Replace `ra_hir_expand::either` with crate | ice1000 | 2019-12-03 | 1 | -9/+7 |
| | |||||
* | Reduce variants of Expr | oxalica | 2019-11-29 | 1 | -14/+5 |
| | |||||
* | Infer range types | oxalica | 2019-11-28 | 1 | -2/+20 |
| | |||||
* | Docs | Aleksey Kladov | 2019-11-24 | 1 | -1/+2 |
| | |||||
* | Get rid of DefDatabase2 | Aleksey Kladov | 2019-11-23 | 1 | -3/+3 |
| | |||||
* | Fix test mark placement | Aleksey Kladov | 2019-11-21 | 1 | -1/+1 |
| | |||||
* | Restore a mark | Aleksey Kladov | 2019-11-21 | 1 | -0/+2 |
| | |||||
* | Slightly better naming | Aleksey Kladov | 2019-11-14 | 1 | -1/+1 |
| | |||||
* | Handle macro-generated expressions slightly less wrong | Aleksey Kladov | 2019-11-14 | 1 | -13/+11 |
| | |||||
* | Move expansion to Expander | Aleksey Kladov | 2019-11-14 | 1 | -25/+7 |
| | |||||
* | Move parse_path to Expander | Aleksey Kladov | 2019-11-14 | 1 | -10/+6 |
| | |||||
* | Expansion stack scaffold | Aleksey Kladov | 2019-11-14 | 1 | -6/+3 |
| | |||||
* | Add Expader::to_source | Aleksey Kladov | 2019-11-14 | 1 | -10/+4 |
| | |||||
* | Move original_file to Expander | Aleksey Kladov | 2019-11-14 | 1 | -8/+4 |
| | |||||
* | Rename MacroResolver -> Expander | Aleksey Kladov | 2019-11-14 | 1 | -17/+17 |
| | |||||
* | Move current file to MacroResolver | Aleksey Kladov | 2019-11-14 | 1 | -15/+16 |
| | |||||
* | Drop obsolete comment | Aleksey Kladov | 2019-11-12 | 1 | -4/+0 |
| | |||||
* | Move expression lowering to hir_def | Aleksey Kladov | 2019-11-12 | 1 | -2/+588 |
| | |||||
* | Move definition of exprs to hir_def | Aleksey Kladov | 2019-11-12 | 1 | -0/+49 |