Now
MAIN commitmail json YAML
pkgsrc/lang/ocaml/Makefile@1.65
/
diff
pkgsrc/lang/ocaml/Makefile.common@1.26 / diff
pkgsrc/lang/ocaml/PLIST@1.22 / diff
pkgsrc/lang/ocaml/PLIST.opt@1.16 / diff
pkgsrc/lang/ocaml/PLIST.stub@1.5 / diff
pkgsrc/lang/ocaml/distinfo@1.51 / diff
pkgsrc/lang/ocaml/patches/patch-aj@1.8 / diff
pkgsrc/lang/ocaml/patches/patch-an@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-at@1.19 / diff
pkgsrc/lang/ocaml/patches/patch-az@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-bd@1.3 / diff
pkgsrc/lang/ocaml/patches/patch-bh@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-bk deleted
pkgsrc/lang/ocaml/patches/patch-bo@1.3 / diff
pkgsrc/lang/ocaml/patches/patch-bs@1.7 / diff
pkgsrc/lang/ocaml/patches/patch-bt@1.5 / diff
pkgsrc/lang/ocaml/Makefile.common@1.26 / diff
pkgsrc/lang/ocaml/PLIST@1.22 / diff
pkgsrc/lang/ocaml/PLIST.opt@1.16 / diff
pkgsrc/lang/ocaml/PLIST.stub@1.5 / diff
pkgsrc/lang/ocaml/distinfo@1.51 / diff
pkgsrc/lang/ocaml/patches/patch-aj@1.8 / diff
pkgsrc/lang/ocaml/patches/patch-an@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-at@1.19 / diff
pkgsrc/lang/ocaml/patches/patch-az@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-bd@1.3 / diff
pkgsrc/lang/ocaml/patches/patch-bh@1.4 / diff
pkgsrc/lang/ocaml/patches/patch-bk deleted
pkgsrc/lang/ocaml/patches/patch-bo@1.3 / diff
pkgsrc/lang/ocaml/patches/patch-bs@1.7 / diff
pkgsrc/lang/ocaml/patches/patch-bt@1.5 / diff
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.
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.