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 |
| | |||||
* | Use ‘index’ terminology for arena consistently | Aramis Razzaghipour | 2021-01-17 | 1 | -29/+29 |
| | |||||
* | Merge #7276 | bors[bot] | 2021-01-17 | 1 | -1/+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 | 1 | -1/+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. | ||||
* | | Add docs to la-arena crate | Aramis Razzaghipour | 2021-01-14 | 1 | -1/+79 |
|/ | |||||
* | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -0/+152 |