compile CharLit patterns (#615)

* compile CharLit patterns * add test
dfinity · Aug 13, 2019 · 7b2139c · 7b2139c
1 parent ed6f02e
commit 7b2139c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/src/codegen/compile.ml b/src/codegen/compile.ml
@@ -6222,11 +6222,14 @@ and compile_lit_pat env l =
     BoxedSmallWord.unbox env ^^
     snd (compile_lit env l) ^^
     compile_eq env Type.(Prim Word32)
+  | CharLit _ ->
+    snd (compile_lit env l) ^^
+    compile_eq env Type.(Prim Char)
   | Word64Lit _ ->
     BoxedWord64.unbox env ^^
     snd (compile_lit env l) ^^
     compile_eq env Type.(Prim Word64)
-  | (TextLit t) ->
+  | TextLit t ->
     Text.lit env t ^^
     Text.compare env
   | _ -> todo_trap env "compile_lit_pat" (Arrange_ir.lit l)

diff --git a/test/run/char-pats.as b/test/run/char-pats.as
@@ -0,0 +1,12 @@
+switch 'a' {
+  case 'b' assert false;
+  case 'a' assert true;
+  case _   assert false;
+};
+
+switch (?'\u{28ae4}') {
+  case (?'a')         assert false;
+  case (?'\u{28ae4}') assert true;
+  case _              assert false;
+}
+