Disable bad optim (#260)

disable bad optim

src/runtime.ml

@@ -1255,16 +1255,16 @@ and deref_uv ?avoid ~from ~to_ args t =
      (* TODO: when the UVar/Arg is not C.dummy, we call deref_uv that
         will call move that will call_deref_uv again. Optimize the
         path *)
-     | UVar(t,depth,args2) when from = depth+args2 ->
-        UVar(t,depth,args2+args')
+     | UVar(t,depth,0) when from = depth ->
+        UVar(t,depth,args')
      | AppUVar (r,depth,args2) ->
         let args = C.mkinterval from args' 0 in
         AppUVar (r,depth,args2 @ args)
      | UVar (r,vardepth,argsno) ->
         let args1 = C.mkinterval vardepth argsno 0 in
         let args2 = C.mkinterval from args' 0 in
         let args = args1 @ args2 in
-        AppUVar (r,vardepth,args)
+        mkAppUVar r vardepth args
      | Cons _ | Nil -> type_error "deref_uv: applied list"
      | Discard -> type_error "deref_uv: applied Discard"
      | CData _ -> t