Improve type-based optim for arrays of lazy values.

2016-07-25 11:31:36 +02:00 · 2016-07-25 11:31:36 +02:00 · 1cc5ce79d4
parent e5698d6bcb
commit 1cc5ce79d4
1 changed files with 1 additions and 0 deletions
--- a/bytecomp/typeopt.ml
+++ b/bytecomp/typeopt.ml
@ -70,6 +70,7 @@ let array_element_kind env ty =
        Pfloatarray
      else if Path.same p Predef.path_string
           || Path.same p Predef.path_bytes
+           || Path.same p Predef.path_lazy_t
           || Path.same p Predef.path_array
           || Path.same p Predef.path_nativeint
           || Path.same p Predef.path_int32