Feature Name OCaml 3.12
OCaml 3.12 is a major new release of the OCaml language and compiler.
The 8 new major language features are described in this paper (PDF - skip to section 3), and as well as these new features there are new supporting camlp4 and libraries.
- Name: Richard W.M. Jones
- Email: firstname.lastname@example.org
- Targeted release: Fedora 15
- Last updated: 2011-02-03
- Percentage of completion: 100%
I (rjones) am on holiday all of February, and won't be available on email or IRC.
New language features include:
- modules are now first-class values
- nested module open
- open record notation
- mark OO methods which must be overridden in subclasses
- limited support for delimited overloading in the language
camlp4 and camlp5 macro languages have been revised and extended.
The changes are completely backwards compatible.
Benefit to Fedora
For Fedora this brings the OCaml support right up to date and alongside Debian. It also enables our developers to use a powerful and fast programming language.
What needs to be done is to update all of the packages listed on this page:
Some of them will simply be a recompile, some of them have new upstream versions which are compatible with 3.12.
How To Test
No special hardware is needed.
Users can test the new features by compiling their own programs or playing in the REPL:
$ rlwrap ocaml
End users won't notice the difference. Developers will have a more powerful and up to date OCaml to use.
Stay with OCaml 3.11.
- Fedora 15 includes OCaml 3.12, a major new release of the OCaml language and compiler.