diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml index ebf92d8..c3f24d6 100644 --- a/compiler/minils/minils.ml +++ b/compiler/minils/minils.ml @@ -41,17 +41,14 @@ and edesc = | Econst of static_exp | Evar of ident | Econstvar of name - | Etuple of exp list | Efby of static_exp option * exp | Eapp of app * exp list * ident option (** ident option is the optional reset *) | Ewhen of exp * longname * ident | Emerge of ident * (longname * exp) list - | Efield of exp * longname | Estruct of (longname * exp) list | Eiterator of iterator_type * app * static_exp * exp list * ident option - and app = { a_op: op; a_params: static_exp list } and op = @@ -59,7 +56,9 @@ and op = | Enode of longname | Eifthenelse | Efield_update of longname (* field name args would be [record ; value] *) + | Efield of longname | Earray + | Etuple | Erepeat | Eselect | Eselect_dyn @@ -67,7 +66,6 @@ and op = | Eselect_slice | Econcat - and ct = | Ck of ck | Cprod of ct list