From b65bf6b508f3324b8dc2a4fa0a0e32c8038ce06b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 18 May 2021 23:05:00 +0200
Subject: [PATCH] [kernel] Do not mark a specification as generated if the
generation fails.
Fixes a crash when re-running an analysis.
---
src/kernel_internals/typing/infer_annotations.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/typing/infer_annotations.ml b/src/kernel_internals/typing/infer_annotations.ml
index e94dce2909a..ed8b063a391 100644
--- a/src/kernel_internals/typing/infer_annotations.ml
+++ b/src/kernel_internals/typing/infer_annotations.ml
@@ -270,8 +270,8 @@ let populate_funspec kf spec =
if Is_populated.mem kf then
false (* No need to add the spec again *)
else (
- Is_populated.add kf ();
populate_funspec_aux kf spec;
+ Is_populated.add kf ();
true
)
--
GitLab