7d753f876d
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.
8 lines
292 B
Text
8 lines
292 B
Text
@comment $NetBSD: PLIST.stub,v 1.5 2010/08/19 08:06:53 asau Exp $
|
|
lib/ocaml/stublibs/dllbigarray.so
|
|
lib/ocaml/stublibs/dllcamlstr.so
|
|
lib/ocaml/stublibs/dllmldbm.so
|
|
lib/ocaml/stublibs/dllnums.so
|
|
lib/ocaml/stublibs/dllthreads.so
|
|
lib/ocaml/stublibs/dllunix.so
|
|
lib/ocaml/stublibs/dllvmthreads.so
|