Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | migrate ra_hir to rowan 2.0 | Aleksey Kladov | 2019-01-08 | 1 | -9/+8 |
| | |||||
* | Add fn signature query | Florian Diebold | 2019-01-06 | 1 | -1/+59 |
| | |||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 1 | -4/+17 |
| | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | ||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -2/+15 |
| | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. | ||||
* | remove FnId | Aleksey Kladov | 2018-12-27 | 1 | -12/+11 |
| | |||||
* | add function to completion ctx | Aleksey Kladov | 2018-12-27 | 1 | -0/+1 |
| | |||||
* | Collect field data for structs/enum variants | Florian Diebold | 2018-12-25 | 1 | -2/+1 |
| | |||||
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 1 | -3/+13 |
| | |||||
* | Add beginnings of type infrastructure | Florian Diebold | 2018-12-23 | 1 | -1/+5 |
| | |||||
* | completion uses hir scopes | Aleksey Kladov | 2018-12-22 | 1 | -1/+1 |
| | |||||
* | grand module rename | Aleksey Kladov | 2018-12-08 | 1 | -0/+151 |