Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -1/+10 |
| | | | | | - add proper canonicalization logic - add conversions from/to Chalk IR | ||||
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -2/+40 |
| | | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet. | ||||
* | Extract generic_params method to a HasGenericParams trait | Florian Diebold | 2019-04-14 | 1 | -0/+13 |
| | |||||
* | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 1 | -7/+13 |
| | |||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -3/+7 |
| | | | | | | | | | | - 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 | 1 | -1/+5 |
| | |||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -2/+2 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | |||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -5/+8 |
| | |||||
* | Fix handling of generics in tuple variants and refactor a bit | Florian Diebold | 2019-02-20 | 1 | -0/+13 |
| | | | | | | Also make them display a tiny bit nicer. Fixes #860. | ||||
* | Handle impl generics in method calls | Florian Diebold | 2019-02-16 | 1 | -10/+28 |
| | |||||
* | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 1 | -2/+4 |
| | |||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -8/+2 |
| | |||||
* | Make the Resolution variants tuple variants | Florian Diebold | 2019-02-01 | 1 | -0/+1 |
| | |||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -2/+2 |
| | |||||
* | Migrate trait & type to new ids | Aleksey Kladov | 2019-01-24 | 1 | -16/+7 |
| | |||||
* | macro-generate froms | Aleksey Kladov | 2019-01-24 | 1 | -18/+1 |
| | |||||
* | migrate enums to new id | Aleksey Kladov | 2019-01-24 | 1 | -17/+21 |
| | |||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -1/+14 |
| | |||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -15/+51 |
| | |||||
* | Generics -> GenericParams | Florian Diebold | 2019-01-19 | 1 | -4/+4 |
| | |||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -0/+48 |
- add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions |