From 4a782b94acc5f18e53dbac1c6ac8a4266d353ca9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr> Date: Mon, 25 Sep 2017 11:21:17 +0200 Subject: [PATCH] [Eva] puts the documentations in the .mli which was already present... --- src/plugins/value/eval.ml | 3 --- src/plugins/value/eval.mli | 4 +++- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/plugins/value/eval.ml b/src/plugins/value/eval.ml index eb569f88cfc..90deaf2c917 100644 --- a/src/plugins/value/eval.ml +++ b/src/plugins/value/eval.ml @@ -240,9 +240,6 @@ type ('loc, 'value) call = { arguments: ('loc, 'value) argument list; rest: (exp * ('loc, 'value) assigned) list; return: varinfo option; - (** Special variable (same for all calls) that makes the - link between the result of the function and the assignment in - the caller. *) recursive: bool; } diff --git a/src/plugins/value/eval.mli b/src/plugins/value/eval.mli index a00ef79939c..9d788335f6d 100644 --- a/src/plugins/value/eval.mli +++ b/src/plugins/value/eval.mli @@ -214,7 +214,9 @@ type ('loc, 'value) call = { arguments: ('loc, 'value) argument list; (** The arguments of the call. *) rest: (exp * ('loc, 'value) assigned) list; (** Extra-arguments. *) return: varinfo option; (** Fake varinfo to store the - return value of the call. *) + return value of the call. + Same varinfo for every + call to a function. *) recursive: bool; } -- GitLab