Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add ModuleDef::BuiltInType | Aleksey Kladov | 2019-05-30 | 1 | -1/+2 |
* | add union to code_model | Aleksey Kladov | 2019-05-23 | 1 | -8/+13 |
* | profile type inference | Aleksey Kladov | 2019-05-21 | 1 | -1/+3 |
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 1 | -2/+1 |
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 1 | -4/+7 |
* | Make canonicalization API a bit nicer | Florian Diebold | 2019-05-04 | 1 | -15/+16 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -3/+10 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -15/+16 |
* | New krate() method in Resolver. | Marco Groppo | 2019-04-19 | 1 | -28/+26 |
* | Initial support for lang items. | Marco Groppo | 2019-04-19 | 1 | -25/+29 |
* | 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 | 1 | -3/+48 |
* | Extract generic_params method to a HasGenericParams trait | Florian Diebold | 2019-04-14 | 1 | -4/+7 |
* | Make callable signature handling a bit nicer | Florian Diebold | 2019-04-14 | 1 | -47/+14 |
* | Some cleanup | Florian Diebold | 2019-04-14 | 1 | -90/+99 |
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -6/+78 |
* | Avoid two-phase borrow conflict | Laurențiu Nicola | 2019-04-08 | 1 | -2/+2 |
* | Added ArrayExprKind, | Lenard Pratt | 2019-04-07 | 1 | -13/+17 |
* | Added inference of array length | Lenard Pratt | 2019-04-07 | 1 | -1/+10 |
* | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 1 | -6/+14 |
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -1/+2 |
* | 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 | 1 | -2/+2 |
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -23/+23 |
* | Refactor primitive types into more orthogonal representation | yanchith | 2019-03-22 | 1 | -5/+10 |
* | 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 | 1 | -9/+9 |
* | TypeName => TypeCtor | Florian Diebold | 2019-03-21 | 1 | -39/+39 |
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 1 | -118/+146 |
* | Represent FnPtr and Tuple using Substs | Florian Diebold | 2019-03-21 | 1 | -10/+12 |
* | Merge #982 | bors[bot] | 2019-03-17 | 1 | -17/+82 |
|\ | |||||
| * | Split test case and use tested_by!. | Michael Killough | 2019-03-17 | 1 | -0/+3 |
| * | 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 | 1 | -17/+78 |
* | | Remove FnSig from FnDef type | Florian Diebold | 2019-03-16 | 1 | -2/+4 |
* | | Refactor FnSig a bit | Florian Diebold | 2019-03-16 | 1 | -11/+12 |
|/ | |||||
* | 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 |
* | Add static type inference | Ville Penttinen | 2019-02-25 | 1 | -1/+2 |
* | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -7/+13 |
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -2/+2 |