From 504134c71da463a9d58eaf5b090b889805bd1b98 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 20 Aug 2018 16:51:11 +0200
Subject: Do not inline let-bound functions in clambda optimization.

This was triggering an exponential blowup in the size of the generated
intermediate VM code.

Fixes #8277.
---
 kernel/clambda.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/clambda.ml b/kernel/clambda.ml
index 7c00e40fb0..961036d3c5 100644
--- a/kernel/clambda.ml
+++ b/kernel/clambda.ml
@@ -269,7 +269,7 @@ let lam_subst_args subst args =
 let can_subst lam =
   match lam with
   | Lrel _ | Lvar _ | Lconst _
-  | Lval _ | Lsort _ | Lind _ | Llam _ -> true
+  | Lval _ | Lsort _ | Lind _ -> true
   | _ -> false
 
 let rec simplify subst lam =
-- 
cgit v1.2.3