diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-14 11:52:50 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-14 11:52:50 +0000 |
commit | d2f75f7f8b9ca50c8746376fbd67d48c6c483ce5 (patch) | |
tree | 0cf468e27d4b9c617a40d4c0c8b4451d90dc5a1f | |
parent | 09fb8169aa13d7b58276075ee13e825729bbde66 (diff) |
Ajout primitive get_current_environment pour la trace.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | byterun/meta.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/byterun/meta.c b/byterun/meta.c index 4bb69b282..01d377dfd 100644 --- a/byterun/meta.c +++ b/byterun/meta.c @@ -22,6 +22,7 @@ #include "misc.h" #include "mlvalues.h" #include "prims.h" +#include "stacks.h" value get_global_data(unit) /* ML */ value unit; @@ -63,3 +64,8 @@ value available_primitives() /* ML */ { return copy_string_array(names_of_cprim); } + +value get_current_environment() /* ML */ +{ + return *extern_sp; +} |