Yet another implementation of Str.global_replace

src/cg_c.ml

@@ -34,10 +34,21 @@ let ccall f args = C.Call(C.ID f, args)
 let cg_entry e =
   let name,args,stmt = e in
 
-  let cname name =
+  let rec cname name =
     (* No batteries, so the below line doesn't work *)
     (* Str.global_replace (Str.regexp "\\.") "__" name in *)
-    String.map (function | '.' -> '_' | x -> x) name
+    (* No ocaml 4.0, so the below line doesn't work either. Sigh *)
+    (* String.map (function | '.' -> '_' | x -> x) name *)
+    let len = String.length name in
+    try begin
+      let first_dot = String.index name '.' in
+      let rest = "__" ^ (cname (String.sub name (first_dot+1) (len-first_dot-1))) in      
+      match first_dot with 
+        | 0 -> rest          
+        | _ -> 
+          let first = (String.sub name 0 first_dot) in
+          first ^ rest
+    end with Not_found -> name
   in
 
   let carg_decl = function
@@ -185,6 +196,10 @@ let cg_entry e =
 
         C.Block ([scratch_init], prod @ cons @ free)
 
+    | Print (_)
+    | Assert (_, _) -> 
+        Printf.printf "TODO: skipping codegen of Print/Assert in C backend\n";
+        C.Block([], [])
     | s -> failwith (Printf.sprintf "Can't codegen: %s" (Ir_printer.string_of_stmt s))
 
   and cg_for name min size stmt =