Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Decouple more | Aleksey Kladov | 2019-11-27 | 1 | -6/+6 |
| | |||||
* | Cleanup imports | Aleksey Kladov | 2019-11-27 | 1 | -3/+2 |
| | |||||
* | Remove ns-polymorphic type_for_def | Aleksey Kladov | 2019-11-26 | 1 | -7/+3 |
| | |||||
* | Id-ify Ty::Adt | Aleksey Kladov | 2019-11-26 | 1 | -9/+12 |
| | |||||
* | Use TypeAliasId in Ty, pt 2 | Aleksey Kladov | 2019-11-25 | 1 | -3/+3 |
| | |||||
* | More ids in Ty | Aleksey Kladov | 2019-11-25 | 1 | -2/+4 |
| | |||||
* | Fixme for union fields | Aleksey Kladov | 2019-11-25 | 1 | -0/+2 |
| | |||||
* | Use ids for Callable | Aleksey Kladov | 2019-11-25 | 1 | -5/+9 |
| | |||||
* | Remove Resolver from autoderef | Aleksey Kladov | 2019-11-25 | 1 | -14/+26 |
| | | | | | Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment. | ||||
* | Switch to variant-granularity field type inference | Aleksey Kladov | 2019-11-24 | 1 | -3/+8 |
| | |||||
* | Don't redo field resolution in the IDE | Aleksey Kladov | 2019-11-24 | 1 | -13/+15 |
| | |||||
* | Remove old hir::generics module | Aleksey Kladov | 2019-11-21 | 1 | -3/+5 |
| | |||||
* | Move resolver to hir_def | Aleksey Kladov | 2019-11-21 | 1 | -2/+3 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-21 | 1 | -1/+1 |
| | |||||
* | Move expr resolver to resolve | Aleksey Kladov | 2019-11-21 | 1 | -2/+3 |
| | |||||
* | Reduce duplication between uncertain floats & ints | Aleksey Kladov | 2019-11-13 | 1 | -15/+15 |
| | |||||
* | Remove owner from Body | Aleksey Kladov | 2019-11-12 | 1 | -5/+3 |
| | |||||
* | Move definition of exprs to hir_def | Aleksey Kladov | 2019-11-12 | 1 | -2/+2 |
| | |||||
* | Move Namespace enum closer to usage | Aleksey Kladov | 2019-11-04 | 1 | -3/+3 |
| | |||||
* | Remove last traces of nameres from hir | Aleksey Kladov | 2019-11-03 | 1 | -2/+1 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -4/+2 |
| | |||||
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 1 | -2/+4 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -1/+2 |
| | |||||
* | Split up infer.rs further | Florian Diebold | 2019-10-12 | 1 | -0/+658 |
- coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs` |