diff options
Diffstat (limited to 'bytecomp/instruct.ml')
| -rw-r--r-- | bytecomp/instruct.ml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index d37523d59..7357d1f86 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -15,8 +15,8 @@ open Lambda type compilation_env = { ce_stack: int Ident.tbl; - ce_heap: int Ident.tbl } - + ce_heap: int Ident.tbl; + ce_rec: int Ident.tbl } type debug_event = { mutable ev_pos: int; (* Position in bytecode *) @@ -60,15 +60,17 @@ type instruction = | Krestart | Kgrab of int (* number of arguments *) | Kclosure of label * int - | Kclosurerec of label * int + | Kclosurerec of label list * int + | Koffsetclosure of int | Kgetglobal of Ident.t | Ksetglobal of Ident.t | Kconst of structured_constant | Kmakeblock of int * int (* size, tag *) + | Kmakefloatblock of int | Kgetfield of int | Ksetfield of int - | Kdummy of int - | Kupdate of int + | Kgetfloatfield of int + | Ksetfloatfield of int | Kvectlength | Kgetvectitem | Ksetvectitem |