aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-01-17 07:20:36 +0000
committerGitHub <[email protected]>2021-01-17 07:20:36 +0000
commit3224ecea8734f850eda474c136ae4dcb7e1aa3f1 (patch)
tree0405cf7c9b9787a5be19d226fc7875d389bda15b /lib
parentf5f011ba714589d65b7dae398938242abcbc3fee (diff)
parent9b5ba090db2c1f913d3f127573ac60c5eb2601bb (diff)
Merge #7276
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]>
Diffstat (limited to 'lib')
-rw-r--r--lib/arena/src/lib.rs3
-rw-r--r--lib/arena/src/map.rs2
2 files changed, 2 insertions, 3 deletions
diff --git a/lib/arena/src/lib.rs b/lib/arena/src/lib.rs
index 78a147c7d..1de3a1d2f 100644
--- a/lib/arena/src/lib.rs
+++ b/lib/arena/src/lib.rs
@@ -10,7 +10,8 @@ use std::{
10 ops::{Index, IndexMut}, 10 ops::{Index, IndexMut},
11}; 11};
12 12
13pub mod map; 13mod map;
14pub use map::ArenaMap;
14 15
15/// The raw ID of a value in an arena. 16/// The raw ID of a value in an arena.
16#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] 17#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
diff --git a/lib/arena/src/map.rs b/lib/arena/src/map.rs
index 980198247..5ebaa9b82 100644
--- a/lib/arena/src/map.rs
+++ b/lib/arena/src/map.rs
@@ -1,5 +1,3 @@
1//! A map from arena IDs to some other type. Space requirement is O(highest ID).
2
3use std::marker::PhantomData; 1use std::marker::PhantomData;
4 2
5use crate::Idx; 3use crate::Idx;