diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2019-09-02 14:03:39 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2019-09-02 14:03:39 +0200 |
commit | 9518311d758b42663bfd2e0d84e9a06824f38152 (patch) | |
tree | 25c9722a498d643d426fd0cf4222c2944a939c8d /src/expressions | |
parent | bd19e0f8d0616526fec25031124b3a33bbe3c8a3 (diff) |
Pattern matching order error
Diffstat (limited to 'src/expressions')
-rw-r--r-- | src/expressions/evaluate.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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
|