From 9518311d758b42663bfd2e0d84e9a06824f38152 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 2 Sep 2019 14:03:39 +0200 Subject: Pattern matching order error --- src/expressions/evaluate.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/expressions') diff --git a/src/expressions/evaluate.ml b/src/expressions/evaluate.ml index 4cf98da..308a824 100644 --- a/src/expressions/evaluate.ml +++ b/src/expressions/evaluate.ml @@ -60,6 +60,7 @@ let get_argument: type a. a value -> a Functions.typ * a = function | List (t, l) -> Functions.t_list (Functions.typ_of_format t), l | Matrix (t, l) -> Functions.t_list (Functions.t_list (Functions.typ_of_format t)), l +(** Convert the evaluation result in a type depending of the function parameters *) let wrap_call (Functions.C.R(ret, res)) type_builder = begin let returnType = ScTypes.ReturnType.guess_format_result ret type_builder in begin match returnType with -- cgit v1.2.3