[r2004-03-15 14:39:40 by afrisch] Accessing globals during evaluation...

Original author: afrisch
Date: 2004-03-15 14:39:40+00:00

driver/librarian.ml

@@ -218,5 +218,5 @@ let () =
   Eval.from_comp_unit := 
   (fun cu i ->
      match (load cu).vals with
-       | None -> assert false
+       | None -> !Eval.stack.(i) (* TODO: check that cu is being evaluated *)
        | Some a -> a.(i))

runtime/eval.ml

@@ -340,3 +340,5 @@ let comp_unit init code =
     let r = Array.sub !stack 0 !sp in 
     restore (); r
   with exn -> restore (); raise exn
+
+

runtime/eval.mli

@@ -14,3 +14,4 @@ val expr: code_item -> t
 val eval_apply: t -> t -> t
 val comp_unit: t list -> code_item list -> t array
 
+val stack: t array ref