From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA12175 for caml-red; Mon, 12 Feb 2001 19:16:20 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA08293 for ; Mon, 12 Feb 2001 15:52:10 +0100 (MET) Received: from indigo.recherche.enac.fr (indigo.recherche.enac.fr [195.220.158.66]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f1CEqAf20454 for ; Mon, 12 Feb 2001 15:52:10 +0100 (MET) Received: from beige.recherche.enac.fr (root@beige.recherche.enac.fr [10.31.1.89] (may be forged)) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id PAA13454; Mon, 12 Feb 2001 15:52:09 +0100 (MET) Received: from recherche.enac.fr (barnier@localhost [127.0.0.1]) by beige.recherche.enac.fr (8.9.3/8.6.11) with ESMTP id PAA19343; Mon, 12 Feb 2001 15:52:08 +0100 X-Authentication-Warning: beige.recherche.enac.fr: Host barnier@localhost [127.0.0.1] claimed to be recherche.enac.fr Message-ID: <3A87F898.D0D00FF7@recherche.enac.fr> Date: Mon, 12 Feb 2001 15:52:08 +0100 From: Nicolas barnier X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.5 i686) X-Accept-Language: en MIME-Version: 1.0 To: "Marcin 'Qrczak' Kowalczyk" CC: caml-list@inria.fr Subject: Re: OCaml's long range graphical direction? References: <20010208105941X.garrigue@kurims.kyoto-u.ac.jp> <20010209102801K.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Marcin 'Qrczak' Kowalczyk wrote: > > What are variance annotations in OCaml? Perniciously stolen on the OCaml CVS server (file "Changes"), but I lack the new doc ;-): Objective Caml 3.01: -------------------- New language features: - Variables are allowed in "or" patterns, e.g. match l with [t] | [_;t] -> ... t ... - "include " to re-export all components of a structure inside another structure. - Variance annotation on parameters of type declarations, e.g. type (+'a,-'b,'c) t (covariant in 'a, contravariant in 'b, invariant in 'c) -- Nicolas