2016-11-16 02:21:52 -06:00
|
|
|
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
//! An "interner" is a data structure that associates values with usize tags and
|
|
|
|
//! allows bidirectional lookup; i.e. given a value, one can easily find the
|
|
|
|
//! type, and vice versa.
|
|
|
|
|
2017-03-16 23:04:41 -05:00
|
|
|
use hygiene::SyntaxContext;
|
2018-03-06 19:44:10 -06:00
|
|
|
use GLOBALS;
|
2017-03-16 23:04:41 -05:00
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
use serialize::{Decodable, Decoder, Encodable, Encoder};
|
|
|
|
use std::collections::HashMap;
|
|
|
|
use std::fmt;
|
|
|
|
|
2017-03-16 23:04:41 -05:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
|
|
|
|
pub struct Ident {
|
|
|
|
pub name: Symbol,
|
|
|
|
pub ctxt: SyntaxContext,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Ident {
|
|
|
|
pub const fn with_empty_ctxt(name: Symbol) -> Ident {
|
|
|
|
Ident { name: name, ctxt: SyntaxContext::empty() }
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Maps a string to an identifier with an empty syntax context.
|
|
|
|
pub fn from_str(string: &str) -> Ident {
|
|
|
|
Ident::with_empty_ctxt(Symbol::intern(string))
|
|
|
|
}
|
|
|
|
|
2017-12-06 03:28:01 -06:00
|
|
|
pub fn without_first_quote(&self) -> Ident {
|
2017-12-07 02:56:31 -06:00
|
|
|
Ident { name: Symbol::from(self.name.as_str().trim_left_matches('\'')), ctxt: self.ctxt }
|
2017-12-06 03:28:01 -06:00
|
|
|
}
|
|
|
|
|
2017-03-22 03:39:51 -05:00
|
|
|
pub fn modern(self) -> Ident {
|
|
|
|
Ident { name: self.name, ctxt: self.ctxt.modern() }
|
2017-03-16 23:04:41 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for Ident {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
write!(f, "{}{:?}", self.name, self.ctxt)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Display for Ident {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Display::fmt(&self.name, f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Encodable for Ident {
|
|
|
|
fn encode<S: Encoder>(&self, s: &mut S) -> Result<(), S::Error> {
|
2017-03-26 19:46:00 -05:00
|
|
|
if self.ctxt.modern() == SyntaxContext::empty() {
|
|
|
|
s.emit_str(&self.name.as_str())
|
|
|
|
} else { // FIXME(jseyfried) intercrate hygiene
|
|
|
|
let mut string = "#".to_owned();
|
|
|
|
string.push_str(&self.name.as_str());
|
|
|
|
s.emit_str(&string)
|
|
|
|
}
|
2017-03-16 23:04:41 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Decodable for Ident {
|
|
|
|
fn decode<D: Decoder>(d: &mut D) -> Result<Ident, D::Error> {
|
2017-03-26 19:46:00 -05:00
|
|
|
let string = d.read_str()?;
|
|
|
|
Ok(if !string.starts_with('#') {
|
|
|
|
Ident::from_str(&string)
|
|
|
|
} else { // FIXME(jseyfried) intercrate hygiene
|
|
|
|
Ident::with_empty_ctxt(Symbol::gensym(&string[1..]))
|
|
|
|
})
|
2017-03-16 23:04:41 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
/// A symbol is an interned or gensymed string.
|
|
|
|
#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
|
|
|
|
pub struct Symbol(u32);
|
|
|
|
|
2017-12-03 07:37:23 -06:00
|
|
|
// The interner is pointed to by a thread local value which is only set on the main thread
|
|
|
|
// with parallelization is disabled. So we don't allow Symbol to transfer between threads
|
|
|
|
// to avoid panics and other errors, even though it would be memory safe to do so.
|
|
|
|
#[cfg(not(parallel_queries))]
|
2016-11-18 23:55:28 -06:00
|
|
|
impl !Send for Symbol { }
|
2017-12-03 07:37:23 -06:00
|
|
|
#[cfg(not(parallel_queries))]
|
2017-06-05 20:52:34 -05:00
|
|
|
impl !Sync for Symbol { }
|
2016-11-18 23:55:28 -06:00
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
impl Symbol {
|
|
|
|
/// Maps a string to its interned representation.
|
|
|
|
pub fn intern(string: &str) -> Self {
|
|
|
|
with_interner(|interner| interner.intern(string))
|
|
|
|
}
|
|
|
|
|
2017-03-25 21:11:30 -05:00
|
|
|
pub fn interned(self) -> Self {
|
|
|
|
with_interner(|interner| interner.interned(self))
|
|
|
|
}
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
/// gensym's a new usize, using the current interner.
|
|
|
|
pub fn gensym(string: &str) -> Self {
|
|
|
|
with_interner(|interner| interner.gensym(string))
|
|
|
|
}
|
|
|
|
|
2017-03-25 21:11:30 -05:00
|
|
|
pub fn gensymed(self) -> Self {
|
|
|
|
with_interner(|interner| interner.gensymed(self))
|
|
|
|
}
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
pub fn as_str(self) -> InternedString {
|
2016-11-18 23:55:28 -06:00
|
|
|
with_interner(|interner| unsafe {
|
|
|
|
InternedString {
|
|
|
|
string: ::std::mem::transmute::<&str, &str>(interner.get(self))
|
|
|
|
}
|
|
|
|
})
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn as_u32(self) -> u32 {
|
|
|
|
self.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-31 15:23:52 -05:00
|
|
|
impl<'a> From<&'a str> for Symbol {
|
|
|
|
fn from(string: &'a str) -> Symbol {
|
|
|
|
Symbol::intern(string)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
impl fmt::Debug for Symbol {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2017-12-04 16:05:06 -06:00
|
|
|
let is_gensymed = with_interner(|interner| interner.is_gensymed(*self));
|
|
|
|
if is_gensymed {
|
|
|
|
write!(f, "{}({})", self, self.0)
|
|
|
|
} else {
|
|
|
|
write!(f, "{}", self)
|
|
|
|
}
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Display for Symbol {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Display::fmt(&self.as_str(), f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Encodable for Symbol {
|
|
|
|
fn encode<S: Encoder>(&self, s: &mut S) -> Result<(), S::Error> {
|
|
|
|
s.emit_str(&self.as_str())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Decodable for Symbol {
|
|
|
|
fn decode<D: Decoder>(d: &mut D) -> Result<Symbol, D::Error> {
|
|
|
|
Ok(Symbol::intern(&d.read_str()?))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-03-09 03:10:18 -06:00
|
|
|
impl<T: ::std::ops::Deref<Target=str>> PartialEq<T> for Symbol {
|
|
|
|
fn eq(&self, other: &T) -> bool {
|
|
|
|
self.as_str() == other.deref()
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
pub struct Interner {
|
2016-11-18 23:55:28 -06:00
|
|
|
names: HashMap<Box<str>, Symbol>,
|
|
|
|
strings: Vec<Box<str>>,
|
2017-03-25 21:11:30 -05:00
|
|
|
gensyms: Vec<Symbol>,
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Interner {
|
|
|
|
pub fn new() -> Self {
|
|
|
|
Interner::default()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn prefill(init: &[&str]) -> Self {
|
|
|
|
let mut this = Interner::new();
|
|
|
|
for &string in init {
|
|
|
|
this.intern(string);
|
|
|
|
}
|
|
|
|
this
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn intern(&mut self, string: &str) -> Symbol {
|
|
|
|
if let Some(&name) = self.names.get(string) {
|
|
|
|
return name;
|
|
|
|
}
|
|
|
|
|
|
|
|
let name = Symbol(self.strings.len() as u32);
|
2016-11-18 23:55:28 -06:00
|
|
|
let string = string.to_string().into_boxed_str();
|
2016-11-16 02:21:52 -06:00
|
|
|
self.strings.push(string.clone());
|
|
|
|
self.names.insert(string, name);
|
|
|
|
name
|
|
|
|
}
|
|
|
|
|
2017-03-25 21:11:30 -05:00
|
|
|
pub fn interned(&self, symbol: Symbol) -> Symbol {
|
|
|
|
if (symbol.0 as usize) < self.strings.len() {
|
|
|
|
symbol
|
|
|
|
} else {
|
|
|
|
self.interned(self.gensyms[(!0 - symbol.0) as usize])
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
fn gensym(&mut self, string: &str) -> Symbol {
|
2017-03-25 21:11:30 -05:00
|
|
|
let symbol = self.intern(string);
|
|
|
|
self.gensymed(symbol)
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
2017-03-25 21:11:30 -05:00
|
|
|
fn gensymed(&mut self, symbol: Symbol) -> Symbol {
|
|
|
|
self.gensyms.push(symbol);
|
|
|
|
Symbol(!0 - self.gensyms.len() as u32 + 1)
|
|
|
|
}
|
|
|
|
|
2017-12-04 16:05:06 -06:00
|
|
|
fn is_gensymed(&mut self, symbol: Symbol) -> bool {
|
|
|
|
symbol.0 as usize >= self.strings.len()
|
|
|
|
}
|
|
|
|
|
2017-03-25 21:11:30 -05:00
|
|
|
pub fn get(&self, symbol: Symbol) -> &str {
|
|
|
|
match self.strings.get(symbol.0 as usize) {
|
|
|
|
Some(ref string) => string,
|
|
|
|
None => self.get(self.gensyms[(!0 - symbol.0) as usize]),
|
|
|
|
}
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// In this macro, there is the requirement that the name (the number) must be monotonically
|
|
|
|
// increasing by one in the special identifiers, starting at 0; the same holds for the keywords,
|
|
|
|
// except starting from the next number instead of zero.
|
|
|
|
macro_rules! declare_keywords {(
|
|
|
|
$( ($index: expr, $konst: ident, $string: expr) )*
|
|
|
|
) => {
|
|
|
|
pub mod keywords {
|
2017-03-16 23:04:41 -05:00
|
|
|
use super::{Symbol, Ident};
|
2016-11-16 02:21:52 -06:00
|
|
|
#[derive(Clone, Copy, PartialEq, Eq)]
|
|
|
|
pub struct Keyword {
|
2017-03-16 23:04:41 -05:00
|
|
|
ident: Ident,
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
impl Keyword {
|
2017-03-16 23:04:41 -05:00
|
|
|
#[inline] pub fn ident(self) -> Ident { self.ident }
|
|
|
|
#[inline] pub fn name(self) -> Symbol { self.ident.name }
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
$(
|
|
|
|
#[allow(non_upper_case_globals)]
|
|
|
|
pub const $konst: Keyword = Keyword {
|
2017-03-16 23:04:41 -05:00
|
|
|
ident: Ident::with_empty_ctxt(super::Symbol($index))
|
2016-11-16 02:21:52 -06:00
|
|
|
};
|
|
|
|
)*
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Interner {
|
2018-03-06 19:44:10 -06:00
|
|
|
pub fn fresh() -> Self {
|
2016-11-16 02:21:52 -06:00
|
|
|
Interner::prefill(&[$($string,)*])
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}}
|
|
|
|
|
|
|
|
// NB: leaving holes in the ident table is bad! a different ident will get
|
|
|
|
// interned with the id from the hole, but it will be between the min and max
|
|
|
|
// of the reserved words, and thus tagged as "reserved".
|
2017-06-29 05:16:35 -05:00
|
|
|
// After modifying this list adjust `is_special_ident`, `is_used_keyword`/`is_unused_keyword`,
|
2016-11-16 02:21:52 -06:00
|
|
|
// this should be rarely necessary though if the keywords are kept in alphabetic order.
|
|
|
|
declare_keywords! {
|
2017-06-29 05:16:35 -05:00
|
|
|
// Special reserved identifiers used internally for elided lifetimes,
|
|
|
|
// unnamed method parameters, crate root module, error recovery etc.
|
2018-03-08 05:27:23 -06:00
|
|
|
(0, Invalid, "")
|
|
|
|
(1, CrateRoot, "{{root}}")
|
|
|
|
(2, DollarCrate, "$crate")
|
|
|
|
(3, Underscore, "_")
|
2017-06-29 05:16:35 -05:00
|
|
|
|
|
|
|
// Keywords used in the language.
|
2018-03-08 05:27:23 -06:00
|
|
|
(4, As, "as")
|
|
|
|
(5, Box, "box")
|
|
|
|
(6, Break, "break")
|
|
|
|
(7, Const, "const")
|
|
|
|
(8, Continue, "continue")
|
|
|
|
(9, Crate, "crate")
|
|
|
|
(10, Else, "else")
|
|
|
|
(11, Enum, "enum")
|
|
|
|
(12, Extern, "extern")
|
|
|
|
(13, False, "false")
|
|
|
|
(14, Fn, "fn")
|
|
|
|
(15, For, "for")
|
|
|
|
(16, If, "if")
|
|
|
|
(17, Impl, "impl")
|
|
|
|
(18, In, "in")
|
|
|
|
(19, Let, "let")
|
|
|
|
(20, Loop, "loop")
|
|
|
|
(21, Match, "match")
|
|
|
|
(22, Mod, "mod")
|
|
|
|
(23, Move, "move")
|
|
|
|
(24, Mut, "mut")
|
|
|
|
(25, Pub, "pub")
|
|
|
|
(26, Ref, "ref")
|
|
|
|
(27, Return, "return")
|
|
|
|
(28, SelfValue, "self")
|
|
|
|
(29, SelfType, "Self")
|
|
|
|
(30, Static, "static")
|
|
|
|
(31, Struct, "struct")
|
|
|
|
(32, Super, "super")
|
|
|
|
(33, Trait, "trait")
|
|
|
|
(34, True, "true")
|
|
|
|
(35, Type, "type")
|
|
|
|
(36, Unsafe, "unsafe")
|
|
|
|
(37, Use, "use")
|
|
|
|
(38, Where, "where")
|
|
|
|
(39, While, "while")
|
2016-11-16 02:21:52 -06:00
|
|
|
|
|
|
|
// Keywords reserved for future use.
|
2018-03-08 05:27:23 -06:00
|
|
|
(40, Abstract, "abstract")
|
|
|
|
(41, Alignof, "alignof")
|
|
|
|
(42, Become, "become")
|
|
|
|
(43, Do, "do")
|
|
|
|
(44, Final, "final")
|
|
|
|
(45, Macro, "macro")
|
|
|
|
(46, Offsetof, "offsetof")
|
|
|
|
(47, Override, "override")
|
|
|
|
(48, Priv, "priv")
|
|
|
|
(49, Proc, "proc")
|
|
|
|
(50, Pure, "pure")
|
|
|
|
(51, Sizeof, "sizeof")
|
|
|
|
(52, Typeof, "typeof")
|
|
|
|
(53, Unsized, "unsized")
|
|
|
|
(54, Virtual, "virtual")
|
|
|
|
(55, Yield, "yield")
|
|
|
|
|
|
|
|
// Special lifetime names
|
|
|
|
(56, UnderscoreLifetime, "'_")
|
|
|
|
(57, StaticLifetime, "'static")
|
2016-11-16 02:21:52 -06:00
|
|
|
|
|
|
|
// Weak keywords, have special meaning only in specific contexts.
|
2018-03-08 05:27:23 -06:00
|
|
|
(58, Auto, "auto")
|
|
|
|
(59, Catch, "catch")
|
|
|
|
(60, Default, "default")
|
|
|
|
(61, Dyn, "dyn")
|
|
|
|
(62, Union, "union")
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
2018-03-06 19:44:10 -06:00
|
|
|
// If an interner exists, return it. Otherwise, prepare a fresh one.
|
|
|
|
#[inline]
|
2016-11-16 02:21:52 -06:00
|
|
|
fn with_interner<T, F: FnOnce(&mut Interner) -> T>(f: F) -> T {
|
2018-03-06 19:44:10 -06:00
|
|
|
GLOBALS.with(|globals| f(&mut *globals.symbol_interner.lock()))
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Represents a string stored in the thread-local interner. Because the
|
|
|
|
/// interner lives for the life of the thread, this can be safely treated as an
|
|
|
|
/// immortal string, as long as it never crosses between threads.
|
|
|
|
///
|
|
|
|
/// FIXME(pcwalton): You must be careful about what you do in the destructors
|
|
|
|
/// of objects stored in TLS, because they may run after the interner is
|
|
|
|
/// destroyed. In particular, they must not access string contents. This can
|
|
|
|
/// be fixed in the future by just leaking all strings until thread death
|
|
|
|
/// somehow.
|
2017-07-29 18:28:30 -05:00
|
|
|
#[derive(Clone, Copy, Hash, PartialOrd, Eq, Ord)]
|
2016-11-16 02:21:52 -06:00
|
|
|
pub struct InternedString {
|
2016-11-18 23:55:28 -06:00
|
|
|
string: &'static str,
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
2017-03-09 03:10:18 -06:00
|
|
|
impl<U: ?Sized> ::std::convert::AsRef<U> for InternedString where str: ::std::convert::AsRef<U> {
|
|
|
|
fn as_ref(&self) -> &U {
|
|
|
|
self.string.as_ref()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: ::std::ops::Deref<Target = str>> ::std::cmp::PartialEq<T> for InternedString {
|
|
|
|
fn eq(&self, other: &T) -> bool {
|
|
|
|
self.string == other.deref()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ::std::cmp::PartialEq<InternedString> for str {
|
|
|
|
fn eq(&self, other: &InternedString) -> bool {
|
|
|
|
self == other.string
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> ::std::cmp::PartialEq<InternedString> for &'a str {
|
|
|
|
fn eq(&self, other: &InternedString) -> bool {
|
|
|
|
*self == other.string
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ::std::cmp::PartialEq<InternedString> for String {
|
|
|
|
fn eq(&self, other: &InternedString) -> bool {
|
|
|
|
self == other.string
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> ::std::cmp::PartialEq<InternedString> for &'a String {
|
|
|
|
fn eq(&self, other: &InternedString) -> bool {
|
|
|
|
*self == other.string
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-18 23:55:28 -06:00
|
|
|
impl !Send for InternedString { }
|
|
|
|
|
2016-11-16 02:21:52 -06:00
|
|
|
impl ::std::ops::Deref for InternedString {
|
|
|
|
type Target = str;
|
2016-11-18 23:55:28 -06:00
|
|
|
fn deref(&self) -> &str { self.string }
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for InternedString {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2016-11-18 23:55:28 -06:00
|
|
|
fmt::Debug::fmt(self.string, f)
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Display for InternedString {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2016-11-18 23:55:28 -06:00
|
|
|
fmt::Display::fmt(self.string, f)
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Decodable for InternedString {
|
|
|
|
fn decode<D: Decoder>(d: &mut D) -> Result<InternedString, D::Error> {
|
|
|
|
Ok(Symbol::intern(&d.read_str()?).as_str())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Encodable for InternedString {
|
|
|
|
fn encode<S: Encoder>(&self, s: &mut S) -> Result<(), S::Error> {
|
2016-11-18 23:55:28 -06:00
|
|
|
s.emit_str(self.string)
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::*;
|
2018-03-06 19:44:10 -06:00
|
|
|
use Globals;
|
2016-11-16 02:21:52 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn interner_tests() {
|
|
|
|
let mut i: Interner = Interner::new();
|
|
|
|
// first one is zero:
|
2017-01-08 15:34:52 -06:00
|
|
|
assert_eq!(i.intern("dog"), Symbol(0));
|
2016-11-16 02:21:52 -06:00
|
|
|
// re-use gets the same entry:
|
2017-11-13 00:55:20 -06:00
|
|
|
assert_eq!(i.intern("dog"), Symbol(0));
|
2016-11-16 02:21:52 -06:00
|
|
|
// different string gets a different #:
|
2017-01-08 15:34:52 -06:00
|
|
|
assert_eq!(i.intern("cat"), Symbol(1));
|
|
|
|
assert_eq!(i.intern("cat"), Symbol(1));
|
2016-11-16 02:21:52 -06:00
|
|
|
// dog is still at zero
|
2017-01-08 15:34:52 -06:00
|
|
|
assert_eq!(i.intern("dog"), Symbol(0));
|
2017-03-25 21:11:30 -05:00
|
|
|
assert_eq!(i.gensym("zebra"), Symbol(4294967295));
|
2016-11-16 02:21:52 -06:00
|
|
|
// gensym of same string gets new number :
|
2017-03-25 21:11:30 -05:00
|
|
|
assert_eq!(i.gensym("zebra"), Symbol(4294967294));
|
2016-11-16 02:21:52 -06:00
|
|
|
// gensym of *existing* string gets new number:
|
2017-03-25 21:11:30 -05:00
|
|
|
assert_eq!(i.gensym("dog"), Symbol(4294967293));
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|
2017-12-06 03:28:01 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn without_first_quote_test() {
|
2018-03-06 19:44:10 -06:00
|
|
|
GLOBALS.set(&Globals::new(), || {
|
|
|
|
let i = Ident::from_str("'break");
|
|
|
|
assert_eq!(i.without_first_quote().name, keywords::Break.name());
|
|
|
|
});
|
2017-12-06 03:28:01 -06:00
|
|
|
}
|
2016-11-16 02:21:52 -06:00
|
|
|
}
|