Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-05-05 20:22:43 -0700 (Sun, 05 May 2002)
Revision: 3600
Log message:
This is a branch commit that upgrades to ocaml3.04.
Warning: on this branch, metaprl compiles only in byte-code.
(See Aleksey notes below).
The extra feature: there is now an apply_rewrite function
in Top_conversionals.
val : apply_rewrite : unit -> conv -> term -> term
Note: always use an instance in this kind of form:
let apply_rewrite = Top_conversionals.apply_rewrite ()
- : conv -> term -> term
This will (hopefully) capture all the resources at definition time.
Brian: see if this works, and let me know if there are problems.
Mp_mc_compile is updated...
Aleksey:
1. I don't remember exactly what you included in the upgrade to
ocaml-3.04... Please remind me about the features
needed to be added to camlp4. Also, can you try and make
ocaml produce native code for camlp4? We have the old problem
with camlp4 not being configured to produce native code.
2. I'm not sure about the new resource code. To define the
apply_rewrite function, we need to get ahold of the resources
live at the src definition point. I'm assuming that
Mp_resource.extract_top () will do that--but I'm not sure.
Question: what can we assume about Mp_resource.extract_top?