expose print_char in C

OCamlPro · Mar 3, 2025 · c9858a3 · c9858a3
1 parent ab65cee
commit c9858a3
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/src/libc/include/owi.h b/src/libc/include/owi.h
@@ -23,6 +23,8 @@ __attribute__((import_module("symbolic"), import_name("f32_symbol"))) float
 owi_f32(void);
 __attribute__((import_module("symbolic"), import_name("f64_symbol"))) double
 owi_f64(void);
+__attribute__((import_module("symbolic"), import_name("print_char"))) void
+owi_print_char(int);
 __attribute__((import_module("symbolic"), import_name("bool_symbol")))
 #ifdef __cplusplus
   bool

diff --git a/src/symbolic/symbolic_wasm_ffi.ml b/src/symbolic/symbolic_wasm_ffi.ml
@@ -54,7 +54,12 @@ module M :
 
   let in_replay_mode () = Choice.return @@ Smtml.Expr.value (Smtml.Value.Int 0)
 
-  let print_char (_c : Value.int32) = assert false
+  let print_char (c : Value.int32) =
+    match Smtml.Expr.view c with
+    | Val (Num (I32 c)) ->
+      Fmt.pr "%c@?" (char_of_int (Int32.to_int c));
+      Choice.return ()
+    | _ -> assert false
 end
 
 type extern_func = Symbolic.Extern_func.extern_func