Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Intern `GenericParams` | Jonas Schievink | 2021-04-05 | 1 | -1/+1 |
| | | | | | Also share the same instance between `ItemTree` and `generic_params` query. | ||||
* | Use shrink_to_fit to reduce DefMap sizes | Jonas Schievink | 2021-04-03 | 1 | -0/+23 |
| | |||||
* | :arrow_up: arena | Aleksey Kladov | 2021-01-17 | 1 | -1/+1 |
| | |||||
* | Use ‘index’ terminology for arena consistently | Aramis Razzaghipour | 2021-01-17 | 2 | -46/+49 |
| | |||||
* | Merge #7276 | bors[bot] | 2021-01-17 | 2 | -3/+2 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 7276: Remove map module from la-arena public API r=lnicola a=arzg It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private. This doesn’t compile for the same reason that #7275 doesn’t: > This pull request doesn’t compile because dependencies on la-arena go through crates.io, so existing dependencies on the crate are referencing an old version. As such, this PR will only compile once a new la-arena version has been published. Co-authored-by: Aramis Razzaghipour <[email protected]> | ||||
| * | Remove map module from la-arena public API | Aramis Razzaghipour | 2021-01-15 | 2 | -3/+2 |
| | | | | | | | | | | | | It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private. | ||||
* | | bump arena | Aleksey Kladov | 2021-01-15 | 1 | -2/+2 |
| | | |||||
* | | Add more keys to la-arena Cargo.toml | Aramis Razzaghipour | 2021-01-14 | 1 | -0/+3 |
| | | |||||
* | | Add docs to la-arena crate | Aramis Razzaghipour | 2021-01-14 | 3 | -4/+85 |
|/ | |||||
* | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 4 | -0/+226 |