From 27c1b6504b04c7653eced708492626be28a4f868 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 22 Aug 2020 18:58:51 +0200
Subject: The body of a let is considered to be "in context" if its type is
 present.

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
---
 interp/constrextern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index 8a29fc3581..43fef8685d 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -1000,7 +1000,7 @@ let rec extern inctx ?impargs scopes vars r =
              mkFlattenedCApp (head,args))
 
   | GLetIn (na,b,t,c) ->
-      CLetIn (make ?loc na,sub_extern false scopes vars b,
+      CLetIn (make ?loc na,sub_extern (Option.has_some t) scopes vars b,
               Option.map (extern_typ scopes vars) t,
               extern inctx ?impargs scopes (add_vname vars na) c)
 
-- 
cgit v1.2.3