Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
OCaml's long range graphical direction?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-02-12 (18:16)
From: Nicolas barnier <barnier@r...>
Subject: Re: OCaml's long range graphical direction?
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