From owner-cvs-all@FreeBSD.ORG Thu Mar 31 07:39:43 2011 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 3745B106566B; Thu, 31 Mar 2011 07:39:43 +0000 (UTC) (envelope-from stas@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 295968FC14; Thu, 31 Mar 2011 07:39:43 +0000 (UTC) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.4/8.14.4) with ESMTP id p2V7dhIf022162; Thu, 31 Mar 2011 07:39:43 GMT (envelope-from stas@repoman.freebsd.org) Received: (from stas@localhost) by repoman.freebsd.org (8.14.4/8.14.4/Submit) id p2V7dhrR022161; Thu, 31 Mar 2011 07:39:43 GMT (envelope-from stas) Message-Id: <201103310739.p2V7dhrR022161@repoman.freebsd.org> From: Stanislav Sedov Date: Thu, 31 Mar 2011 07:39:43 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/lang/ocaml Makefile X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 31 Mar 2011 07:39:43 -0000 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