Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 3 | -21/+54 | |
* | test diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -0/+24 | |
* | cleanup | Aleksey Kladov | 2019-03-25 | 1 | -4/+4 | |
* | switch modules to new diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -4/+9 | |
* | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -6/+33 | |
* | diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -3/+20 | |
* | Fix apply_substs assertion failure | Florian Diebold | 2019-03-23 | 2 | -2/+25 | |
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 4 | -28/+28 | |
* | Refactor primitive types into more orthogonal representation | yanchith | 2019-03-22 | 3 | -140/+149 | |
* | Assert in apply_substs that the number of parameters doesn't change | Florian Diebold | 2019-03-21 | 1 | -1/+1 | |
* | Rename name field to ctor as well | Florian Diebold | 2019-03-21 | 3 | -14/+14 | |
* | TypeName => TypeCtor | Florian Diebold | 2019-03-21 | 4 | -70/+70 | |
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 4 | -152/+194 | |
* | Represent FnPtr and Tuple using Substs | Florian Diebold | 2019-03-21 | 2 | -12/+14 | |
* | make Name::new private | Aleksey Kladov | 2019-03-20 | 2 | -14/+56 | |
* | Merge #982 | bors[bot] | 2019-03-17 | 2 | -17/+136 | |
|\ | ||||||
| * | Split test case and use tested_by!. | Michael Killough | 2019-03-17 | 2 | -76/+102 | |
| * | Simplify match statement. | Michael Killough | 2019-03-17 | 1 | -6/+1 | |
| * | impl Default for BindingMode. | Michael Killough | 2019-03-17 | 1 | -5/+11 | |
| * | Implement BindingMode for pattern matching. | Michael Killough | 2019-03-16 | 2 | -62/+154 | |
* | | rename ModuleId -> CrateModuleId | Aleksey Kladov | 2019-03-17 | 1 | -4/+4 | |
* | | Reorganize name resolution | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 | |
* | | Replace module_tree with CrateDefMap | Aleksey Kladov | 2019-03-17 | 1 | -1/+3 | |
* | | Remove FnSig from FnDef type | Florian Diebold | 2019-03-16 | 2 | -8/+16 | |
* | | Refactor FnSig a bit | Florian Diebold | 2019-03-16 | 2 | -36/+57 | |
* | | Some more Ty displaying cleanup | Florian Diebold | 2019-03-16 | 1 | -33/+31 | |
* | | Replace Display by a pretty printing trait for Ty | Florian Diebold | 2019-03-16 | 3 | -19/+65 | |
|/ | ||||||
* | Use impl_froms! | kjeremy | 2019-03-04 | 1 | -13/+3 | |
* | Make ExpOrPatId private | kjeremy | 2019-03-04 | 1 | -3/+6 | |
* | Remove commented out code | Jeremy Kolb | 2019-03-04 | 1 | -9/+0 | |
* | Use ImplItems instead of just Function | Jeremy Kolb | 2019-03-04 | 1 | -34/+48 | |
* | Make goto definition/hover resolve constructors | kjeremy | 2019-03-04 | 1 | -3/+40 | |
* | Inline type inference test snapshots | Florian Diebold | 2019-03-03 | 59 | -1504/+1096 | |
* | Represent unknown types as {unknown} instead of [unknown] | Florian Diebold | 2019-03-03 | 27 | -170/+170 | |
* | Add a bunch of tests for type inference involving traits | Florian Diebold | 2019-03-02 | 13 | -0/+403 |