Date: Thu, 31 Mar 2011 07:39:43 +0000 (UTC) From: Stanislav Sedov <stas@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang/ocaml Makefile Message-ID: <201103310739.p2V7dhrR022161@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
stas 2011-03-31 07:39:43 UTC
FreeBSD ports repository
Modified files:
lang/ocaml Makefile
Log:
- Forced commit to describe the major changes in this version:
* Polymorphic recursion is supported, using explicit type
declarations on the recursively-defined identifiers.
* First-class modules: module expressions can be embedded
as values of the core language, then manipulated like
any other first-class value, then projected back to the module level.
* New operator to modify a signature a posteriori: S with
type t := tau denotes signature S where the t type component
is removed and substituted by the type tau elsewhere.
* New notations for record expressions and record patterns:
{ lbl } as shorthand for { lbl = lbl }, and { ...; _ } marks
record patterns where some labels were intentionally omitted.
* Local open let open ... in ... now supported by popular demand.
* Type variables can be bound as type parameters to functions;
such types are treated like abstract types within the function
body, and like type variables (possibly generalized) outside.
* The module type of construct enables to recover the module type
of a given module.
* Explicit method override using the method! keyword, with associated
warnings and errors.
Revision Changes Path
1.70 +0 -0 ports/lang/ocaml/Makefile
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201103310739.p2V7dhrR022161>