From 3ba8647971c441307dd61bc67dc2c3705b345b56 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 19 Nov 2018 09:51:05 +0100
Subject: Add a Char module.

---
 src/tac2core.ml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index ec10c335e9..b6983ed869 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -258,6 +258,16 @@ let () = define1 "int_neg" int begin fun m ->
   return (Value.of_int (~- m))
 end
 
+(** Char *)
+
+let () = define1 "char_of_int" int begin fun n ->
+  wrap (fun () -> Value.of_char (Char.chr n))
+end
+
+let () = define1 "char_to_int" char begin fun n ->
+  wrap (fun () -> Value.of_int (Char.code n))
+end
+
 (** String *)
 
 let () = define2 "string_make" int char begin fun n c ->
-- 
cgit v1.2.3