Reduce Symbol
's interface slightly.
This commit is contained in:
parent
cb7eacb1d2
commit
e53bb1aefb
1 changed files with 1 additions and 5 deletions
|
@ -380,10 +380,6 @@ impl Symbol {
|
||||||
with_interner(|interner| interner.intern(string))
|
with_interner(|interner| interner.intern(string))
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn interned(self) -> Self {
|
|
||||||
with_interner(|interner| interner.interned(self))
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Gensyms a new `usize`, using the current interner.
|
/// Gensyms a new `usize`, using the current interner.
|
||||||
pub fn gensym(string: &str) -> Self {
|
pub fn gensym(string: &str) -> Self {
|
||||||
with_interner(|interner| interner.gensym(string))
|
with_interner(|interner| interner.gensym(string))
|
||||||
|
@ -502,7 +498,7 @@ impl Interner {
|
||||||
name
|
name
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn interned(&self, symbol: Symbol) -> Symbol {
|
fn interned(&self, symbol: Symbol) -> Symbol {
|
||||||
if (symbol.0.as_usize()) < self.strings.len() {
|
if (symbol.0.as_usize()) < self.strings.len() {
|
||||||
symbol
|
symbol
|
||||||
} else {
|
} else {
|
||||||
|
|
Loading…
Reference in a new issue