aboutsummaryrefslogtreecommitdiff
path: root/lib
Commit message (Collapse)AuthorAgeFilesLines
* Intern `GenericParams`Jonas Schievink2021-04-051-1/+1
| | | | | Also share the same instance between `ItemTree` and `generic_params` query.
* Use shrink_to_fit to reduce DefMap sizesJonas Schievink2021-04-031-0/+23
|
* :arrow_up: arenaAleksey Kladov2021-01-171-1/+1
|
* Use ‘index’ terminology for arena consistentlyAramis Razzaghipour2021-01-172-46/+49
|
* Merge #7276bors[bot]2021-01-172-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 APIAramis Razzaghipour2021-01-152-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 arenaAleksey Kladov2021-01-151-2/+2
| |
* | Add more keys to la-arena Cargo.tomlAramis Razzaghipour2021-01-141-0/+3
| |
* | Add docs to la-arena crateAramis Razzaghipour2021-01-143-4/+85
|/
* prepare to publish el libro de arenaAleksey Kladov2021-01-144-0/+226