Clean

ocsigen · Apr 18, 2024 · c7c009b · c7c009b
1 parent df5ec74
commit c7c009b
Show file tree

Hide file tree

Showing 3 changed files with 169 additions and 363 deletions.
diff --git a/compiler/lib/flow.ml b/compiler/lib/flow.ml
@@ -407,6 +407,8 @@ let rec the_shape_of info x =
           match info.info_defs.(Var.idx x) with
           | Expr (Block (_, a, _, Immutable)) ->
               Shape.Block (List.map ~f:(the_shape_of info) (Array.to_list a))
+          | Expr (Block (_, a, _, _)) when not (Var.ISet.mem info.info_possibly_mutable x)
+            -> Shape.Block (List.map ~f:(the_shape_of info) (Array.to_list a))
           | Expr (Closure (l, _)) ->
               Shape.Function { arity = List.length l; pure = false; res = Top "unk" }
           | Expr (Special (Alias_prim name)) -> (

diff --git a/compiler/tests-compiler/gh747.ml b/compiler/tests-compiler/gh747.ml
@@ -227,7 +227,7 @@ end
       1:
       2: //# unitInfo: Provides: Test
       3: //# unitInfo: Requires: Stdlib__Printf
-      4: //# shape: Test:[N,N,[N],N,N,N,N,N,N,N,N,N,N,F(2),F(2),[F(4)]]
+      4: //# shape: Test:[N,N,[N],N,N,N,N,N,N,N,N,N,[N,N],F(2),F(2),[F(4)]]
       5: (function
       6:   (globalThis){
       7:    "use strict";