Closed srhickma closed 5 years ago
Adds a parser which encodes symbol strings as usize internally, which uses less memory and makes copying + comparison of symbols more efficient.
usize
This pr also keeps a SimpleGrammar which does not use encoding, and is used internally for specification/pattern parsing, as well as testing.
SimpleGrammar
Required by #156. Closes #32.
Adds a parser which encodes symbol strings as
usizeinternally, which uses less memory and makes copying + comparison of symbols more efficient.This pr also keeps a
SimpleGrammarwhich does not use encoding, and is used internally for specification/pattern parsing, as well as testing.Required by #156. Closes #32.