From 0102c48051da43ff6b043e410356c0ccfedb220c Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Sat, 2 Mar 2024 00:36:39 +0100 Subject: [PATCH] Add \r back to lexer whitespace --- src/term/parser/lexer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/term/parser/lexer.rs b/src/term/parser/lexer.rs index 7fa5a6197..ad17221e9 100644 --- a/src/term/parser/lexer.rs +++ b/src/term/parser/lexer.rs @@ -6,7 +6,7 @@ pub static STRINGS: GlobalPool = 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),