Support emojis properly

sampsyo · Jun 29, 2023 · 0ba6fbd · 0ba6fbd
1 parent 943157e
commit 0ba6fbd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/bril-rs/bril2json/src/lib.rs b/bril-rs/bril2json/src/lib.rs
@@ -24,7 +24,7 @@ pub fn escape_control_chars(s: &str) -> Option<char> {
         "\\v" => Some('\u{000B}'),
         "\\f" => Some('\u{000C}'),
         "\\r" => Some('\u{000D}'),
-        s if s.len() == 1 => s.chars().next(),
+        s if s.chars().count() == 1 => s.chars().next(),
         _ => None,
     }
 }

diff --git a/bril-rs/brild/src/lib.rs b/bril-rs/brild/src/lib.rs
@@ -2,6 +2,8 @@
 #![warn(missing_docs)]
 #![doc = include_str!("../README.md")]
 #![allow(clippy::module_name_repetitions)]
+// todo until multiple versions of some really far down dependency are fixed
+#![allow(clippy::multiple_crate_versions)]
 
 #[doc(hidden)]
 pub mod cli;

diff --git a/test/interp-error/char-error/badconversion.bril b/test/interp-error/char-error/badconversion.bril
@@ -1,6 +1,6 @@
 @main {
   i: int = const 56193;
-  
+
   c: char = int2char i;
 
   print c;