From: Nicolas barnier <barnier@recherche.enac.fr>
To: "Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl>
Cc: caml-list@inria.fr
Subject: Re: OCaml's long range graphical direction?
Date: Mon, 12 Feb 2001 15:52:08 +0100 [thread overview]
Message-ID: <3A87F898.D0D00FF7@recherche.enac.fr> (raw)
In-Reply-To: <slrn988j4o.hm6.qrczak@qrnik.zagroda>
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 <structure expression>" 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
next prev parent reply other threads:[~2001-02-12 18:16 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-02-05 17:48 Daniel Ortmann
2001-02-06 9:28 ` Xavier Leroy
2001-02-06 18:19 ` Sven LUTHER
2001-02-07 21:30 ` Pierre Weis
2001-02-08 7:32 ` Sven
2001-02-08 1:59 ` Jacques Garrigue
2001-02-08 7:55 ` Sven
2001-02-09 8:47 ` Claudio Sacerdoti Coen
2001-02-09 10:00 ` Sven LUTHER
2001-02-08 20:35 ` Brian Rogoff
2001-02-09 1:28 ` Jacques Garrigue
2001-02-09 18:11 ` Brian Rogoff
2001-02-10 13:01 ` Jacques Garrigue
2001-02-09 20:01 ` Marcin 'Qrczak' Kowalczyk
2001-02-12 14:52 ` Nicolas barnier [this message]
2001-02-12 23:47 ` Jacques Garrigue
2001-02-15 12:21 ` [Caml-list] " Sven LUTHER
2001-02-08 10:28 ` Alan Schmitt
2001-02-09 1:24 ` bcpierce
2001-02-06 20:30 ` Dale Arntson
2001-02-07 0:39 ` John Max Skaller
2001-02-08 20:01 ` Francois Rouaix
2001-02-09 9:41 ` Sven LUTHER
2001-02-09 9:49 ` Jacques Garrigue
2001-02-09 19:58 ` Jerome Vouillon
2001-02-10 12:36 ` Jacques Garrigue
2001-02-10 21:25 ` Pierre Weis
2001-02-09 17:50 ` John Max Skaller
2001-02-06 19:33 Maxence
2001-02-09 23:31 Arturo Borquez
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3A87F898.D0D00FF7@recherche.enac.fr \
--to=barnier@recherche.enac.fr \
--cc=caml-list@inria.fr \
--cc=qrczak@knm.org.pl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox