Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Flatten expr module | Aleksey Kladov | 2019-11-15 | 1 | -137/+0 |
| | |||||
* | Move scopes to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -353/+0 |
| | |||||
* | Handle macro-generated expressions slightly less wrong | Aleksey Kladov | 2019-11-14 | 1 | -1/+5 |
| | |||||
* | Normalize data | Aleksey Kladov | 2019-11-14 | 1 | -14/+9 |
| | | | | No need to store derivable info | ||||
* | Move expression lowering to hir_def | Aleksey Kladov | 2019-11-12 | 1 | -593/+0 |
| | |||||
* | Remove owner from Body | Aleksey Kladov | 2019-11-12 | 1 | -4/+2 |
| | |||||
* | Move definition of exprs to hir_def | Aleksey Kladov | 2019-11-12 | 1 | -67/+15 |
| | |||||
* | Minor cleanup | Aleksey Kladov | 2019-11-12 | 1 | -1/+1 |
| | |||||
* | Add hir::Local | Aleksey Kladov | 2019-11-11 | 1 | -1/+1 |
| | |||||
* | Unfork struct and union ids | Aleksey Kladov | 2019-11-09 | 1 | -4/+1 |
| | |||||
* | Rename MockDatabase -> TestDB | Aleksey Kladov | 2019-11-04 | 1 | -3/+3 |
| | | | | Actually working rename is sooo useful! | ||||
* | Remove more duplication in test fixtures | Aleksey Kladov | 2019-11-04 | 1 | -3/+3 |
| | |||||
* | Move diagnostics to hir_expand | Aleksey Kladov | 2019-11-02 | 1 | -1/+2 |
| | |||||
* | move hygiene to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -2/+5 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -6/+2 |
| | |||||
* | refactor $crate handling | Aleksey Kladov | 2019-10-30 | 1 | -1/+3 |
| | | | | | Introduce proper hygiene module, which should grow quite a bit eventually. | ||||
* | remove forward pointer for type_ref | Aleksey Kladov | 2019-10-30 | 1 | -1/+1 |
| | |||||
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 2 | -3/+5 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -2/+2 |
| | |||||
* | remove not that useful indirection | Aleksey Kladov | 2019-10-29 | 1 | -1/+1 |
| | |||||
* | start ra_hir_def crate | Aleksey Kladov | 2019-10-29 | 1 | -6/+5 |
| | |||||
* | Added test for check doc strings in crates. | Alexander Andreev | 2019-09-30 | 3 | -0/+6 |
| | | | | #1856 | ||||
* | Support `$crate` in item and expr place. | uHOOCCOOHu | 2019-09-26 | 1 | -7/+14 |
| | |||||
* | Define known paths and group names | uHOOCCOOHu | 2019-09-15 | 1 | -6/+2 |
| | |||||
* | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -9/+5 |
| | |||||
* | Add `DotDotPat` to AST | Dylan MacKenzie | 2019-09-15 | 1 | -0/+1 |
| | | | | This is modeled on `PlaceholderPat`. | ||||
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 1 | -3/+3 |
| | |||||
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -2/+1 |
| | |||||
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 1 | -6/+5 |
| | | | | | | | Nameres related types, like `PerNs<Resolution>`, can represent unreasonable situations, like a local in a type namespace. We should clean this up, by requiring that call-site specifies the kind of resolution it expects. | ||||
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+4 |
| | |||||
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 3 | -4/+7 |
| | |||||
* | Correctly build BodySourceMap for macro-expanded expressions | Aleksey Kladov | 2019-09-03 | 2 | -32/+31 |
| | |||||
* | slightly simplify expr lowering flow | Aleksey Kladov | 2019-09-03 | 1 | -126/+102 |
| | |||||
* | use recrod terminology for hir::Pat | Aleksey Kladov | 2019-09-03 | 1 | -4/+3 |
| | |||||
* | move expr lowering to lower | Aleksey Kladov | 2019-09-03 | 1 | -0/+653 |
| | |||||
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 2 | -8/+10 |
| | |||||
* | Small fixes | Kirill Bulatov | 2019-08-26 | 1 | -1/+6 |
| | |||||
* | Fix 'missing Ok in tail expr' validation | Florian Diebold | 2019-08-26 | 1 | -3/+4 |
| | | | | | Because of the coercion change, the type mismatch now only happens on the block expression. | ||||
* | Simplify checking return type, add new test | Phil Ellison | 2019-08-25 | 1 | -21/+4 |
| | |||||
* | Cast SyntaxNodePtr to AstPtr directly | Phil Ellison | 2019-08-25 | 1 | -14/+3 |
| | |||||
* | Remove reliance on expr ordering | Phil Ellison | 2019-08-25 | 1 | -10/+4 |
| | |||||
* | cargo format | Phil Ellison | 2019-08-25 | 1 | -13/+12 |
| | |||||
* | Check type rather than just name in ok-wrapping diagnostic. Add test for ↵ | Phil Ellison | 2019-08-25 | 1 | -8/+38 |
| | | | | handling generic functions (which currently fails) | ||||
* | Mock std String and Result types in tests for ok-wrapping diagnostic | Phil Ellison | 2019-08-25 | 1 | -2/+0 |
| | |||||
* | Add type_mismatches to InferenceResult and use this in ok-wrapping code fix | Phil Ellison | 2019-08-25 | 1 | -6/+8 |
| | |||||
* | Initial implementation of Ok-wrapping | Phil Ellison | 2019-08-25 | 1 | -2/+54 |
| | |||||
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 1 | -8/+8 |
| | |||||
* | rename range -> text_range | Aleksey Kladov | 2019-07-20 | 1 | -1/+1 |
| | |||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 2 | -4/+4 |
| | |||||
* | make Parse fields private | Aleksey Kladov | 2019-07-12 | 1 | -1/+2 |
| | | | | this is in preparation for the new rowan API |