diff options
| author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2018-07-26 16:07:08 +0100 |
|---|---|---|
| committer | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2018-08-01 11:22:14 +0100 |
| commit | b6f14261e851818a99b981f725768f9d7a098c19 (patch) | |
| tree | 21c70373876ee2f7762925d6188929ee83d65f65 /stdlib/obj.mli | |
| parent | fc6cacea67bd965bf3765975e7b860d551d824b9 (diff) | |
| download | ocaml-b6f14261e851818a99b981f725768f9d7a098c19.tar.gz | |
Allocate continuation during perform, and avoid reversing stacks.
Native-code (x86) version of previous commit.
Diffstat (limited to 'stdlib/obj.mli')
| -rw-r--r-- | stdlib/obj.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 57af9ce7c6..f0f40ab5ac 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -71,7 +71,7 @@ external add_offset : t -> Int32.t -> t = "caml_obj_add_offset" val first_non_constant_constructor_tag : int val last_non_constant_constructor_tag : int -val stack_tag : int +val cont_tag : int val lazy_tag : int val closure_tag : int val object_tag : int |