From 5a5b2260ab60e1f05d9a7f756742d792aa1d6da6 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 22 Feb 2022 18:14:27 +0100
Subject: [PATCH] [Eva] multidim: display a proper error message when the
scoped variables cannot be found
---
src/plugins/value/utils/eva_annotations.ml | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index 9080f611f27..448f89f6bde 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -414,6 +414,11 @@ module DomainScope = Register (struct
begin match context.Logic_typing.find_var v with
| {lv_origin=Some vi} -> vi
| _ -> raise Parse_error
+ | exception Not_found ->
+ Kernel.warning ~wkey:Kernel.wkey_annot_error
+ ~once:true ~current:true
+ "cannot find variable %s at this point" v;
+ raise Parse_error
end
| _ -> raise Parse_error
in
--
GitLab