be more lax in parsing; bump 0.0.25

memoryleak47 · Nov 4, 2024 · f18c3fb · f18c3fb
1 parent 1ef30a7
commit f18c3fb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "slotted-egraphs"
-version = "0.0.24"
+version = "0.0.25"
 edition = "2021"
 description = "E-Graphs with name binding"
 license = "Apache-2.0 OR MIT"

diff --git a/src/parse.rs b/src/parse.rs
@@ -24,7 +24,7 @@ enum Token {
 
 fn ident_char(c: char) -> bool {
     if c.is_whitespace() { return false; }
-    if "()[]$:=?".contains(c) { return false; }
+    if "()[]".contains(c) { return false; }
     true
 }