CVS commit: pkgsrc/lang/ocaml

[Aleksej Saushev <asau%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   asau
Date:           Thu Aug 19 08:06:53 UTC 2010

Modified Files:
        pkgsrc/lang/ocaml: Makefile Makefile.common PLIST PLIST.opt PLIST.stub
            distinfo
        pkgsrc/lang/ocaml/patches: patch-aj patch-an patch-at patch-az patch-bd
            patch-bh patch-bo patch-bs patch-bt
Removed Files:
        pkgsrc/lang/ocaml/patches: patch-bk

Log Message:
Update to O'Caml 3.12.0, add test target.

Some of the highlights in release 3.12 are:

  * 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.


To generate a diff of this commit:
cvs rdiff -u -r1.64 -r1.65 pkgsrc/lang/ocaml/Makefile
cvs rdiff -u -r1.25 -r1.26 pkgsrc/lang/ocaml/Makefile.common
cvs rdiff -u -r1.21 -r1.22 pkgsrc/lang/ocaml/PLIST
cvs rdiff -u -r1.15 -r1.16 pkgsrc/lang/ocaml/PLIST.opt
cvs rdiff -u -r1.4 -r1.5 pkgsrc/lang/ocaml/PLIST.stub
cvs rdiff -u -r1.50 -r1.51 pkgsrc/lang/ocaml/distinfo
cvs rdiff -u -r1.7 -r1.8 pkgsrc/lang/ocaml/patches/patch-aj
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/ocaml/patches/patch-an \
    pkgsrc/lang/ocaml/patches/patch-az pkgsrc/lang/ocaml/patches/patch-bh
cvs rdiff -u -r1.18 -r1.19 pkgsrc/lang/ocaml/patches/patch-at
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/ocaml/patches/patch-bd \
    pkgsrc/lang/ocaml/patches/patch-bo
cvs rdiff -u -r1.3 -r0 pkgsrc/lang/ocaml/patches/patch-bk
cvs rdiff -u -r1.6 -r1.7 pkgsrc/lang/ocaml/patches/patch-bs
cvs rdiff -u -r1.4 -r1.5 pkgsrc/lang/ocaml/patches/patch-bt

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.