Add support for backslashed character literals

verus-lang · Mar 3, 2025 · f146726 · f146726
1 parent 2fe6cd9
commit f146726
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,7 @@
 # Unreleased
 
+* Add support for backslashed character literals (e.g., `\t`, `\\`, `\u{00e9}`, etc.)
+
 # v0.5.3
 
 * Add support for `!is`/`!has` syntax (see [verus#1435](https://github.com/verus-lang/verus/pull/1435))

diff --git a/src/verus.pest b/src/verus.pest
@@ -196,7 +196,12 @@ raw_byte_string = @{
 }
 
 char = @{
-    "'" ~ ("\\'" | !"'" ~ ANY) ~ "'"
+    "'" ~ (
+        ("\\u{" ~ ASCII_HEX_DIGIT+ ~ "}")
+      | ("\\" ~ ANY)
+      | (!"'" ~ ANY)
+    ) ~
+    "'"
 }
 
 byte = @{

diff --git a/tests/rustfmt-matching.rs b/tests/rustfmt-matching.rs
@@ -40,6 +40,10 @@ fn test() {
     let a = 12E+99_f64;
     let x: f64 = 2.;
     let x = (1,);
+    let t = 'x';
+    let t = '\\';
+    let t = '\t';
+    let t = '\u{00e9}';
 }
 "#;
     compare(file);