Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | avoid converting types into themselves via .into() (clippy::useless-conversion) | Matthias Krüger | 2021-03-17 | 1 | -1/+1 |
| | | | | example: let x: String = String::from("hello world").into(); | ||||
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -2/+2 |
| | |||||
* | Simplify source maps for fields | Aleksey Kladov | 2021-03-15 | 1 | -21/+3 |
| | |||||
* | Goto definition works for `S { a: }` case | Aleksey Kladov | 2021-03-15 | 1 | -3/+22 |
| | | | | | | | | | | | | | What happens here is that we lower `: ` to a missing expression, and then correctly record that the corresponding field expression resolves to a specific field. Where we fail is in the mapping of syntax to this missing expression. Doing it via `ast_field.expr()` fails, as that expression is `None`. Instead, we go in the opposite direcition and ask each lowered field about its source. This works, but has wrong complexity `O(N)` and, really, the implementation is just too complex. We need some better management of data here. | ||||
* | Remove useless code_model indirection | Aleksey Kladov | 2021-03-08 | 1 | -3/+2 |
| | |||||
* | Inline TypeCtor into Ty | Lukas Wirth | 2021-02-28 | 1 | -11/+5 |
| | |||||
* | Wrap `BuiltinType` in code model | Jonas Schievink | 2021-02-11 | 1 | -4/+5 |
| | |||||
* | Resolve TupleStructPat in SourceAnalyzer::resolve_path | Lukas Wirth | 2021-02-10 | 1 | -6/+11 |
| | |||||
* | Prefer ValueNS when resolving hir path for PathExpressions | Lukas Wirth | 2021-01-29 | 1 | -14/+31 |
| | |||||
* | Classify function calls as functions when shadowed by types | Lukas Wirth | 2021-01-28 | 1 | -2/+6 |
| | |||||
* | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -0/+1 |
| | |||||
* | Align code_model name with ungrammar | Aleksey Kladov | 2020-12-20 | 1 | -9/+9 |
| | |||||
* | Improve code structure | Aleksey Kladov | 2020-12-11 | 1 | -1/+1 |
| | | | | | Make sure that there's only one entry point, analyze, remove awkard analyzer2 name | ||||
* | Rename record_field_pat to record_pat_field | Pavan Kumar Sunkara | 2020-09-10 | 1 | -2/+2 |
| | |||||
* | Don't expose hir::Path out of hir | Aleksey Kladov | 2020-08-15 | 1 | -3/+3 |
| | | | | | | | | | | | | | | Conjecture: it's impossible to use hir::Path *correctly* from an IDE. I am not entirely sure about this, and we might need to add it back at some point, but I have to arguments that convince me that we probably won't: * `hir::Path` has to know about hygiene, which an IDE can't set up properly. * `hir::Path` lacks identity, but you actually have to know identity to resolve it correctly | ||||
* | Rename ra_hir -> hir | Aleksey Kladov | 2020-08-13 | 1 | -0/+534 |