G'CAML -- O'Caml with Extensional Polymorphism Extension
Current implementation
The current implementation is based on
some bit older version of Objective Caml (version 2.02).
It is just a prototype
and many things are still under development.
Minor bug-fix versions are released without announcement,
since there would be so many. Keep looking this page,
if you want to follow these changes.
Version number 0.MMDD corresponds with the release date.
For example 0.0629 means the release of the 29th of June.
Limitations
All these limitations have been solved already in theory.
Extension of generic values
Not available in this version.
Of course, I am working hard on it.
Work around: be patient, please.
Constraint type system
Generic constraints cannot be written in .mli files
This means that we cannot write .mli files contain generic
values. There is no parser for generic constraints yet.
Work around: do not write .mli files. Play only the toplevel.
References
F.A.Q.
-
Q: When will be these features integrated into the official O'Caml ?
A: Sorry, I have no idea.
Jun.Furuse@inria.fr
Last modified: Tue Oct 22 17:31:59 CEST 2002