diff options
Diffstat (limited to 'src/jib/anf.mli')
| -rw-r--r-- | src/jib/anf.mli | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/jib/anf.mli b/src/jib/anf.mli index b96766da..a9ee10a2 100644 --- a/src/jib/anf.mli +++ b/src/jib/anf.mli @@ -87,8 +87,7 @@ and 'a aexp_aux = | AE_val of 'a aval | AE_app of id * ('a aval) list * 'a | AE_cast of 'a aexp * 'a - | AE_assign of id * 'a * 'a aexp - | AE_write_ref of id * 'a * 'a aexp + | AE_assign of 'a alexp * 'a aexp | AE_let of mut * id * 'a * 'a aexp * 'a aexp * 'a | AE_block of ('a aexp) list * 'a aexp * 'a | AE_return of 'a aval * 'a @@ -129,6 +128,11 @@ and 'a aval = | AV_record of ('a aval) Bindings.t * 'a | AV_cval of cval * 'a +and 'a alexp = + | AL_id of id * 'a + | AL_addr of id * 'a + | AL_field of 'a alexp * id + (** When ANF translation has to introduce new bindings it uses a counter to ensure uniqueness. This function resets that counter. *) val reset_anf_counter : unit -> unit |