Handle the lazy compilation special cases in recursion analysis.

ocaml-flambda · Sep 25, 2017 · a1363c9 · a1363c9
1 parent 8156dac
commit a1363c9
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/typing/typecore.ml b/typing/typecore.ml
@@ -2069,7 +2069,14 @@ struct
       | Texp_function { cases } ->
         Use.delay (list (case ~scrutinee:Use.empty) env cases)
       | Texp_lazy e ->
-        Use.delay (expression env e)
+         begin match Typeopt.classify_lazy_argument e with
+         | `Constant_or_function
+         | `Identifier _
+         | `Float ->
+            expression env e
+         | `Other ->
+            Use.delay (expression env e)
+         end
       | Texp_unreachable ->
         Use.empty
       | Texp_extension_constructor _ ->