[MetaPRL] MetaPRL is compatible with recently released OCaml 3.08.2

[Aleksey Nogin]

Dear MetaPRL Users,

OCaml 3.08.2 was released earlier this week. I have verified that 
MetaPRL compiles fine using OCaml 3.08.2 without any special patches 
(beyond the "usual" need to either apply the 
http://cvs.metaprl.org:12000/cvsweb/~checkout~/metaprl/patches/ocaml-3.08-wish1804.patch 
or to manually install 8 extra files as described in 
http://metaprl.org/install.html). The older 3.08.0 or (patched) 3.08.1 
should still work as well.

I have compiled binary RPMs of OCaml 3.08.2 for Red Hat Linux 8.0 and 9, 
Fedora Core Release 1, 2 and 3, and Mandrake Linux 10.0, as well as a 
source RPM. The listing of my OCaml RPMs is available at 
http://rpm.nogin.org/ocaml.html ; packages can also be downloaded 
directly from http://rpmbin.nogin.org/MetaPRL/ .

According to the "Changes" file in the OCaml distribution, the changes 
between 3.08.1 and 3.08.2 are the following.

Bug fixes:
- runtime: memory leak when unmarshalling big data structures (PR#3247)
- camlp4: incorrect line numbers in errors (PR#3188)
- emacs: xemacs-specific code, wrong call to "sit-for"
- ocamldoc: "Lexing: empty token" (PR#3173)
- unix: problem with close_process_* (PR#3191)
- unix: possible coredumps (PR#3252)
- stdlib: wrong order in Set.fold (PR#3161)
- ocamlcp: array out of bounds in profiled programs (PR#3267)
- yacc: problem with polymorphic variant types for grammar entries (PR#3033)

Misc:
- export <caml/printexc.h> for caml_format_exception (PR#3080)
- clean up caml_search_exe_in_path (maybe PR#3079)
- camlp4: new function "make_lexer" for new-style locations
- unix: added missing #includes (PR#3088)

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Jorgensen 70, tel: (626) 395-2907