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.
36 lines
2 KiB
Text
36 lines
2 KiB
Text
$NetBSD: distinfo,v 1.51 2010/08/19 08:06:53 asau Exp $
|
|
|
|
SHA1 (ocaml-3.12.0.tar.bz2) = 33ebbfb1115806f117808f37e40d206c8994943d
|
|
RMD160 (ocaml-3.12.0.tar.bz2) = 3d10d5f7431d8200688fa74122e7ed528126a0fa
|
|
Size (ocaml-3.12.0.tar.bz2) = 2639049 bytes
|
|
SHA1 (patch-aa) = 858f326fe4db7971a05b3b001c6aecc02ecb2903
|
|
SHA1 (patch-ab) = e91cbb94c0897ffd02daebc19835a24c257dccd9
|
|
SHA1 (patch-ac) = efe8290b394f40d6675fc9d57557c49ddafdb239
|
|
SHA1 (patch-ad) = f2c1dcc3c31db31e2484fdea1076692a63252a87
|
|
SHA1 (patch-ag) = f1b751098d3693b92feb26cda87970426bffcaf1
|
|
SHA1 (patch-ah) = 3165bbcdb98d09f5161912e51a3131486aa0b488
|
|
SHA1 (patch-aj) = 6fd989f1e5dd1263890c14459dd4ab85d75e86cd
|
|
SHA1 (patch-an) = 8fb8efecd2b3f0ec6f913a0840f4cfebcbb6161e
|
|
SHA1 (patch-at) = b8ca7e6fa643b4dfbd165a5a1187f96834823617
|
|
SHA1 (patch-au) = 1e36bcdf39d40e781273ea51df213db05ff46c89
|
|
SHA1 (patch-av) = f56c8924b81a620602bc5a67b0c4459b721701d2
|
|
SHA1 (patch-aw) = 5838ca13ba0f5d9328b9bb2135604f72e7d8b87b
|
|
SHA1 (patch-ax) = d46667e6874aa8aa656f6fb15ddcedc493d7bdf1
|
|
SHA1 (patch-ay) = 702dd7d24ac94851bbb0f2c3f22e2141345ee8ea
|
|
SHA1 (patch-az) = 9b9e1cfa8972e6bea9563d4d12866d567fdce668
|
|
SHA1 (patch-bb) = 50bd9aa5b46052d8f35c04f6e4c3cbb365d2f93c
|
|
SHA1 (patch-bc) = 3b6cab5af3d34b2d25c7ba718e5dd89e2d1f2171
|
|
SHA1 (patch-bd) = 50df69a687953e8c34a36366396ea32a111e64ed
|
|
SHA1 (patch-be) = 6c7232154b4935b9b4606940fd35799e20fafde2
|
|
SHA1 (patch-bf) = 0b4efd564362b816154bfd7ffacecae27c75c0ee
|
|
SHA1 (patch-bg) = 91cb75e2d7f347b9ef7f3f1814d0c7deccfedd3a
|
|
SHA1 (patch-bh) = c7b1e218c67b9691452e7d1c8b53febe844d156c
|
|
SHA1 (patch-bi) = aaf8fcb6ecde980cb914258efe93bd37ec9f0bf4
|
|
SHA1 (patch-bo) = 318b5c023c692a3d6fb05b3276e755fae642d6b0
|
|
SHA1 (patch-bp) = 45038c5900aefdb8d21b8c3d3b8798b45014bae2
|
|
SHA1 (patch-bq) = 2ac3b7c1cdf9bdf1e6dcd5905e54291169d069c6
|
|
SHA1 (patch-br) = f9dacbd8742a9cdc9ae0232f297898f0df62a95b
|
|
SHA1 (patch-bs) = 24788a31a5bdfe502e9586002574fdc077455536
|
|
SHA1 (patch-bt) = 400ac1c2935690bd204da116272017ec167f4b0d
|
|
SHA1 (patch-bu) = 0b3bbe273142ebed3a24e7e92d4cfd9f30a032b6
|
|
SHA1 (patch-bv) = 595641bb079174f393e420bdf5c48fe8ca1912cf
|