Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simplify Arena to use a generic index | Aleksey Kladov | 2020-03-19 | 2 | -8/+6 |
| | |||||
* | Use `dyn Trait` for working with databse | Aleksey Kladov | 2020-03-16 | 2 | -8/+5 |
| | | | | | | | 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 |
| | | |||||
* | | Merge #3074 | bors[bot] | 2020-02-10 | 2 | -8/+11 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 3074: Or patterns r=matthewjasper a=matthewjasper Works towards #2458 Co-authored-by: Matthew Jasper <[email protected]> | ||||
| * | | Add or- and parenthesized-patterns | Matthew Jasper | 2020-02-09 | 2 | -8/+11 |
| |/ | |||||
* / | move to to_usize() | Veetaha | 2020-02-09 | 1 | -1/+1 |
|/ | |||||
* | 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 |
| | |||||
* | Simplify | 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 |
| | |||||
* | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 1 | -3/+3 |
| | |||||
* | hir_def is fully doc'ed! | Aleksey Kladov | 2019-11-24 | 1 | -1/+1 |
| | |||||
* | Docs | Aleksey Kladov | 2019-11-24 | 1 | -1/+2 |
| | |||||
* | Simplify | Aleksey Kladov | 2019-11-24 | 1 | -2/+2 |
| | |||||
* | Get rid of DefDatabase2 | Aleksey Kladov | 2019-11-23 | 2 | -6/+6 |
| | |||||
* | Fix test mark placement | Aleksey Kladov | 2019-11-21 | 2 | -2/+2 |
| | |||||
* | Restore a mark | Aleksey Kladov | 2019-11-21 | 2 | -1/+19 |
| | |||||
* | Rename Source::ast -> Source::value | Aleksey Kladov | 2019-11-20 | 1 | -4/+5 |
| | |||||
* | Move scope tests to hir_def | Aleksey Kladov | 2019-11-15 | 1 | -0/+219 |
| | |||||
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -1/+9 |
| | |||||
* | Move scopes to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -0/+157 |
| | |||||
* | 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 |
| |