Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 4 | -17/+58 |
| | |||||
* | Make callable signature handling a bit nicer | Florian Diebold | 2019-04-14 | 2 | -47/+36 |
| | |||||
* | Some cleanup | Florian Diebold | 2019-04-14 | 3 | -98/+111 |
| | |||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 11 | -51/+333 |
| | | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk) | ||||
* | Get substs for trait refs in impl blocks | Florian Diebold | 2019-04-14 | 6 | -44/+85 |
| | |||||
* | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 6 | -24/+17 |
| | |||||
* | cleanups | Aleksey Kladov | 2019-04-13 | 2 | -13/+12 |
| | |||||
* | slight encapsulation | Aleksey Kladov | 2019-04-13 | 2 | -9/+13 |
| | |||||
* | move ScopeEntryWithSyntax | Aleksey Kladov | 2019-04-13 | 4 | -37/+34 |
| | |||||
* | drop obsolete fixme | Aleksey Kladov | 2019-04-13 | 2 | -5/+4 |
| | |||||
* | make expr scope stuff private | Aleksey Kladov | 2019-04-13 | 1 | -11/+9 |
| | |||||
* | make resolver private | Aleksey Kladov | 2019-04-13 | 6 | -26/+23 |
| | |||||
* | hide resolver | Aleksey Kladov | 2019-04-13 | 4 | -9/+17 |
| | |||||
* | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 7 | -193/+159 |
| | |||||
* | make stuff private | Aleksey Kladov | 2019-04-13 | 1 | -3/+3 |
| | |||||
* | obsolete fixm | Aleksey Kladov | 2019-04-13 | 1 | -1/+0 |
| | |||||
* | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
| | |||||
* | only def-with-body remains | Aleksey Kladov | 2019-04-13 | 1 | -13/+3 |
| | |||||
* | generalize | Aleksey Kladov | 2019-04-13 | 1 | -15/+7 |
| | |||||
* | simplify | Aleksey Kladov | 2019-04-13 | 1 | -10/+5 |
| | |||||
* | simplify | Aleksey Kladov | 2019-04-13 | 1 | -7/+1 |
| | |||||
* | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
| | |||||
* | hide some scopes | Aleksey Kladov | 2019-04-13 | 4 | -23/+28 |
| | |||||
* | simplify | Aleksey Kladov | 2019-04-12 | 2 | -17/+12 |
| | |||||
* | make stuff private | Aleksey Kladov | 2019-04-12 | 1 | -6/+2 |
| | |||||
* | simplify | Aleksey Kladov | 2019-04-12 | 1 | -54/+22 |
| | |||||
* | simplify tests | Aleksey Kladov | 2019-04-12 | 3 | -36/+23 |
| | |||||
* | use really correct resolver for expressions | Aleksey Kladov | 2019-04-12 | 9 | -13/+27 |
| | |||||
* | fix typo | Aleksey Kladov | 2019-04-11 | 3 | -6/+6 |
| | |||||
* | add todo | Aleksey Kladov | 2019-04-11 | 1 | -0/+1 |
| | |||||
* | use correct resolver for expressions | Aleksey Kladov | 2019-04-11 | 1 | -3/+1 |
| | |||||
* | remove resolver from CompletonContext | Aleksey Kladov | 2019-04-11 | 5 | -31/+9 |
| | |||||
* | simplify | Aleksey Kladov | 2019-04-11 | 1 | -5/+3 |
| | |||||
* | generalize SourceAnalyzer to handle all defs with bodies | Aleksey Kladov | 2019-04-11 | 3 | -11/+51 |
| | |||||
* | minimize the API | Aleksey Kladov | 2019-04-11 | 2 | -23/+11 |
| | |||||
* | rename | Aleksey Kladov | 2019-04-11 | 10 | -18/+18 |
| | |||||
* | reduce visibility | Aleksey Kladov | 2019-04-11 | 1 | -3/+3 |
| | |||||
* | Make call info to use real name resolution | Aleksey Kladov | 2019-04-11 | 4 | -26/+33 |
| | |||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 15 | -187/+206 |
| | |||||
* | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -6/+6 |
| | |||||
* | Merge #1131 | bors[bot] | 2019-04-10 | 10 | -180/+136 |
|\ | | | | | | | | | | | | | | | 1131: Use inline snapshots in complete_dot r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]> | ||||
| * | Use inline snapshots in complete_dot | Ville Penttinen | 2019-04-10 | 10 | -180/+136 |
| | | |||||
* | | Use inline snapshots in complete_fn_param | Ville Penttinen | 2019-04-10 | 4 | -72/+58 |
|/ | |||||
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 7 | -30/+45 |
| | |||||
* | use either for uses | Aleksey Kladov | 2019-04-10 | 6 | -44/+40 |
| | |||||
* | Merge #1126 | bors[bot] | 2019-04-09 | 10 | -219/+110 |
|\ | | | | | | | | | | | | | | | 1126: Swithc to native salsa interning r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | drop old interning infra | Aleksey Kladov | 2019-04-09 | 2 | -108/+1 |
| | | |||||
| * | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 8 | -111/+109 |
| | | |||||
* | | Merge #1122 | bors[bot] | 2019-04-09 | 2 | -0/+95 |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | 1122: Add explicit type assist. r=matklad a=marcogroppo This assist can be used to specify the explicit type in let statements. For example `let num = 1;` becomes `let num: i32 = 1;`. The assist is applicable only if the inferred type is fully known. Co-authored-by: Marco Groppo <[email protected]> | ||||
| * | Stylistic changes. Updated features.md with the new assists. | Marco Groppo | 2019-04-09 | 1 | -8/+6 |
| | |