Fix remaining bugs in CPS transform and effect handling

Author: OlivierNicole

compiler/lib/code.ml

@@ -106,6 +106,8 @@ module Var : sig
 
     val set : 'a t -> key -> 'a -> unit
 
+    val length : 'a t -> int
+
     val make : size -> 'a -> 'a t
 
     val iter : (key -> 'a -> unit) -> 'a t -> unit
@@ -152,7 +154,8 @@ end = struct
 
   let to_string ?origin i = Var_printer.to_string printer ?origin i
 
-  let print f x = Format.fprintf f "v%d" x
+  (*let print f x = Format.fprintf f "v%d" x*)
+  let print f x = Format.fprintf f "%s" (to_string x)
 
   (* Format.fprintf f "%s" (to_string x) *)
 
@@ -212,6 +215,8 @@ end = struct
 
     let set t x v = t.(x) <- v
 
+    let length t = Array.length t
+
     let make () v = Array.make (count ()) v
 
     let iter f t =

compiler/lib/code.mli

@@ -99,6 +99,8 @@ module Var : sig
 
     val set : 'a t -> key -> 'a -> unit
 
+    val length : 'a t -> int
+
     val make : size -> 'a -> 'a t
 
     val iter : (key -> 'a -> unit) -> 'a t -> unit