Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use insta for ty tests | Florian Diebold | 2019-01-21 | 1 | -15/+0 |
| | |||||
* | Collect generic args in struct variant paths as well | Florian Diebold | 2019-01-19 | 1 | -5/+5 |
| | |||||
* | Collect generic args in type paths | Florian Diebold | 2019-01-19 | 1 | -3/+3 |
| | | | | E.g. `let x: A<X>` is handled correctly. | ||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -11/+11 |
| | | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | ||||
* | Add some tests | Florian Diebold | 2019-01-19 | 1 | -0/+15 |