summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-09-14 11:52:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-09-14 11:52:50 +0000
commitd2f75f7f8b9ca50c8746376fbd67d48c6c483ce5 (patch)
tree0cf468e27d4b9c617a40d4c0c8b4451d90dc5a1f
parent09fb8169aa13d7b58276075ee13e825729bbde66 (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.c6
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;
+}