Alternative fix for Closure

ocaml · Oct 5, 2021 · a8d780d · a8d780d
1 parent 2a3ba07
commit a8d780d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/middle_end/closure/closure.ml b/middle_end/closure/closure.ml
@@ -527,8 +527,8 @@ let simplif_prim ~backend fpc p (args, approxs as args_approxs) dbg =
 
 let approx_ulam = function
     Uconst c -> Value_const c
-  | Uprim (P.Pmakeblock (_, _, _), l, _) ->
-      Value_tuple (Array.make (List.length l) Value_unknown)
+  (* | Uprim (P.Pmakeblock (_, _, _), l, _) ->
+   *     Value_tuple (Array.make (List.length l) Value_unknown) *)
   | _ -> Value_unknown
 
 let find_action idxs acts tag =
@@ -669,8 +669,8 @@ let rec substitute loc ((backend, fpc) as st) sb rn ulam =
             substitute loc st sb rn u2
           else
             substitute loc st sb rn u3
-      | Uprim(P.Pmakeblock _, _, _) ->
-          substitute loc st sb rn u2
+      | Uprim(P.Pisint, [Uprim (P.Pmakeblock _, _, _)], _) ->
+          substitute loc st sb rn u3
       | su1 ->
           Uifthenelse(su1, substitute loc st sb rn u2,
                            substitute loc st sb rn u3)