Add \r back to lexer whitespace

HigherOrderCO · Mar 1, 2024 · 0102c48 · 0102c48
1 parent 3d7c4e8
commit 0102c48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/term/parser/lexer.rs b/src/term/parser/lexer.rs
@@ -6,7 +6,7 @@ pub static STRINGS: GlobalPool<String> = GlobalPool::new();
 
 #[derive(Logos, Debug, PartialEq, Clone)]
 #[logos(error=LexingError)]
-#[logos(skip r"[ \t\n\f]+")]
+#[logos(skip r"[ \t\r\n\f]+")]
 pub enum Token {
   #[regex("[_.a-zA-Z][_.a-zA-Z0-9-]*", |lex| lex.slice().parse().ok().map(|s: String| STRINGS.get(s)))]
   Name(GlobalString),