Efields and Etuple are op
This commit is contained in:
parent
d58e83a985
commit
ed280669ec
|
@ -41,17 +41,14 @@ and edesc =
|
||||||
| Econst of static_exp
|
| Econst of static_exp
|
||||||
| Evar of ident
|
| Evar of ident
|
||||||
| Econstvar of name
|
| Econstvar of name
|
||||||
| Etuple of exp list
|
|
||||||
| Efby of static_exp option * exp
|
| Efby of static_exp option * exp
|
||||||
| Eapp of app * exp list * ident option
|
| Eapp of app * exp list * ident option
|
||||||
(** ident option is the optional reset *)
|
(** ident option is the optional reset *)
|
||||||
| Ewhen of exp * longname * ident
|
| Ewhen of exp * longname * ident
|
||||||
| Emerge of ident * (longname * exp) list
|
| Emerge of ident * (longname * exp) list
|
||||||
| Efield of exp * longname
|
|
||||||
| Estruct of (longname * exp) list
|
| Estruct of (longname * exp) list
|
||||||
| Eiterator of iterator_type * app * static_exp * exp list * ident option
|
| Eiterator of iterator_type * app * static_exp * exp list * ident option
|
||||||
|
|
||||||
|
|
||||||
and app = { a_op: op; a_params: static_exp list }
|
and app = { a_op: op; a_params: static_exp list }
|
||||||
|
|
||||||
and op =
|
and op =
|
||||||
|
@ -59,7 +56,9 @@ and op =
|
||||||
| Enode of longname
|
| Enode of longname
|
||||||
| Eifthenelse
|
| Eifthenelse
|
||||||
| Efield_update of longname (* field name args would be [record ; value] *)
|
| Efield_update of longname (* field name args would be [record ; value] *)
|
||||||
|
| Efield of longname
|
||||||
| Earray
|
| Earray
|
||||||
|
| Etuple
|
||||||
| Erepeat
|
| Erepeat
|
||||||
| Eselect
|
| Eselect
|
||||||
| Eselect_dyn
|
| Eselect_dyn
|
||||||
|
@ -67,7 +66,6 @@ and op =
|
||||||
| Eselect_slice
|
| Eselect_slice
|
||||||
| Econcat
|
| Econcat
|
||||||
|
|
||||||
|
|
||||||
and ct =
|
and ct =
|
||||||
| Ck of ck
|
| Ck of ck
|
||||||
| Cprod of ct list
|
| Cprod of ct list
|
||||||
|
|
Loading…
Reference in a new issue