From b5fbfad3151526324e1fb8fe8b83a49e71056bd7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Fri, 18 Jun 2010 09:50:49 +0200 Subject: [PATCH] Fix Eiterator signature (use op_desc) --- minils/minils.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/minils/minils.ml b/minils/minils.ml index bc1f1c9..1d42afc 100644 --- a/minils/minils.ml +++ b/minils/minils.ml @@ -65,7 +65,11 @@ and array_op = | Eupdate of size_exp list * exp * exp (*indices, array, value*) | Eselect_slice of size_exp * size_exp * exp (*lower bound, upper bound, array*) | Econcat of exp * exp - | Eiterator of iterator_type * longname * size_exp list * size_exp * exp list * ident option + | Eiterator of iterator_type * op_desc * size_exp * exp list * ident option +(** [op_desc] is the function iterated, + [size_exp] is the size of the iteration, + [exp list] is the passed arguments, + [ident option] is the optional reset condition *) and op_desc = { op_name: longname; op_params: size_exp list; op_kind: op_kind } and op_kind = | Eop | Enode