allow parsing escaped symbols

ics-jku · Dec 10, 2023 · cf10a30 · cf10a30
1 parent 8d7d632
commit cf10a30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/wal/reader.py b/wal/reader.py
@@ -44,7 +44,7 @@
 
     scoped_symbol : "~" base_symbol
     grouped_symbol : "#" base_symbol
-    !base_symbol : /[a-zA-Z_\.][=$\*\/>:\.\-_\?=%§!\\~+<>|,\w]*/
+    !base_symbol : /[a-zA-Z_\.][=$\*\/>:\.\-_\?=%§!\\~+<>|,\w]*/ | /\\\S+/
     bit_symbol : sexpr_strict "[" sexpr "]"
     sliced_symbol : sexpr_strict "[" sexpr ":" sexpr "]"