Optimize : use regs for argument passing. Still has bugs.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/typing.ml b/src/typing.ml
index a405855..966057c 100644
--- a/src/typing.ml
+++ b/src/typing.ml
@@ -715,16 +715,16 @@ let compute_tclass env c =
             tp_args = [] }::meth
     in
     (* if vtable is empty, remove it *)
-    let mem =
+    let mem, mem_u =
       if hier.h_vtable = [] then
         let rec mv_h h =
           h.h_pos <- h.h_pos - 4;
           List.iter mv_h h.h_supers
         in
           List.iter mv_h hier.h_supers;
-        Smap.map (fun (ty, pos) -> (ty, pos-4)) mem
+        Smap.map (fun (ty, pos) -> (ty, pos-4)) mem, mem_u - 4
       else
-        mem
+        mem, mem_u
     in
     {   tc_name = cls_name;
         tc_size = mem_u;