Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 2 | -2/+38 |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 2 | -15/+56 |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 3 | -24/+138 |
* | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 3 | -7/+5 |
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -0/+1 |
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 3 | -7/+15 |
* | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 2 | -4/+14 |
* | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
* | Make canonicalization API a bit nicer | Florian Diebold | 2019-05-04 | 2 | -31/+56 |
* | Update Chalk | Florian Diebold | 2019-05-04 | 2 | -5/+13 |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 2 | -8/+12 |
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 5 | -132/+144 |
* | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 1 | -2/+4 |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 2 | -275/+335 |
* | Implement Deref<Target=[Ty]> for Substs | Florian Diebold | 2019-05-04 | 1 | -1/+0 |
* | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 6 | -133/+533 |
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 1 | -0/+26 |
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 2 | -3/+23 |
* | Add a simple test for str method completion | Florian Diebold | 2019-04-20 | 1 | -0/+22 |
* | lang_item_lookup is now a salsa query. | Marco Groppo | 2019-04-19 | 1 | -6/+5 |
* | New krate() method in Resolver. | Marco Groppo | 2019-04-19 | 2 | -49/+33 |
* | Initial support for lang items. | Marco Groppo | 2019-04-19 | 2 | -29/+63 |
* | Refactoring | Edwin Cheng | 2019-04-17 | 1 | -51/+46 |
* | Simpliy code | Edwin Cheng | 2019-04-17 | 1 | -60/+32 |
* | Bug fix and add more comments | Edwin Cheng | 2019-04-17 | 1 | -22/+60 |
* | Fix 1099 | Edwin Cheng | 2019-04-17 | 2 | -5/+109 |
* | Refactor method candidate generation a bit | Florian Diebold | 2019-04-14 | 2 | -53/+138 |
* | Extract generic_params method to a HasGenericParams trait | Florian Diebold | 2019-04-14 | 3 | -9/+14 |
* | Make callable signature handling a bit nicer | Florian Diebold | 2019-04-14 | 1 | -47/+14 |
* | Some cleanup | Florian Diebold | 2019-04-14 | 3 | -98/+111 |
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 5 | -43/+260 |
* | Get substs for trait refs in impl blocks | Florian Diebold | 2019-04-14 | 2 | -27/+74 |
* | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 1 | -2/+2 |
* | make resolver private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
* | simplify | Aleksey Kladov | 2019-04-12 | 1 | -11/+12 |
* | simplify tests | Aleksey Kladov | 2019-04-12 | 1 | -26/+13 |
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 1 | -1/+1 |
* | Avoid two-phase borrow conflict | Laurențiu Nicola | 2019-04-08 | 1 | -2/+2 |
* | updated snapshots | Lenard Pratt | 2019-04-07 | 2 | -69/+41 |
* | Added ArrayExprKind, | Lenard Pratt | 2019-04-07 | 1 | -13/+17 |
* | Added inference of array length | Lenard Pratt | 2019-04-07 | 2 | -1/+38 |
* | Parse and infer tuple indices | robojumper | 2019-04-06 | 1 | -0/+59 |
* | Merge #1076 | bors[bot] | 2019-04-02 | 2 | -10/+71 |
|\ | |||||
| * | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 2 | -10/+71 |
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -8/+6 |
|/ | |||||
* | Clean up comments / use nicer Iterator methods | Florian Diebold | 2019-03-25 | 1 | -9/+14 |
* | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 2 | -7/+27 |