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 WAA16889 for caml-red; Sat, 10 Feb 2001 22:27:08 +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 VAA05237 for ; Fri, 9 Feb 2001 21:33:19 +0100 (MET) Received: from mail.mimuw.edu.pl (pn189.warszawa.cvx.ppp.tpnet.pl [213.76.109.189]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f19KTUL02293 for ; Fri, 9 Feb 2001 21:29:56 +0100 (MET) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id VAA25393 for caml-list@inria.fr; Fri, 9 Feb 2001 21:01:31 +0100 X-Authentication-Warning: qrnik.zagroda: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: OCaml's long range graphical direction? Date: 9 Feb 2001 20:01:28 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <20010208105941X.garrigue@kurims.kyoto-u.ac.jp> <20010209102801K.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 981748888 18122 192.168.0.1 (9 Feb 2001 20:01:28 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 9 Feb 2001 20:01:28 GMT User-Agent: slrn/0.9.6.3 (Linux) To: caml-list@inria.fr Sender: weis@pauillac.inria.fr Fri, 09 Feb 2001 10:28:01 +0900, Jacques Garrigue pisze: > which is an equivalent of Obj.magic used to go around some limitations > of the type system. There are 24 of them, but they will not be needed > anymore thanks to variance annotations in types. What are variance annotations in OCaml? -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK