From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id AEF0BBCAE for ; Mon, 11 Jul 2005 11:16:36 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6B9GaEe028308 for ; Mon, 11 Jul 2005 11:16:36 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA04758 for ; Mon, 11 Jul 2005 11:16:36 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6B9GYuA028297 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 11 Jul 2005 11:16:35 +0200 Received: from qrczak by qrnik.knm.org.pl with local (Exim 3.36 #1) id 1DruOp-0007KI-00 for caml-list@inria.fr; Mon, 11 Jul 2005 11:16:27 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] Object typing X-Face: .B/ouEO}=VFkSJWE}s0@!:diHI.Z,`m}AqK#Vjuscq(Vf1B}H[)v\9tBN}>AdP,QSRbhO]=v 3?;I+cN/Z0HKPm_Eg99/pFrU!WfpjgQ!z":>A~qt0^4):0-UuPB(6^>j!mN$)RIb)rRhXeK:+MLPW[ RVb7Kepvby-ww6_zci7Yy_@IrWW References: <42D063EC.3040900@earthlink.net> <20050711.000642.115315345.debian00@tiscali.be> <6b8a9142050711001847d520c8@mail.gmail.com> <20050711.172242.133294018.garrigue@math.nagoya-u.ac.jp> From: "Marcin 'Qrczak' Kowalczyk" Mail-Followup-To: caml-list@inria.fr Date: Mon, 11 Jul 2005 11:16:27 +0200 In-Reply-To: <20050711.172242.133294018.garrigue@math.nagoya-u.ac.jp> (Jacques Garrigue's message of "Mon, 11 Jul 2005 17:22:42 +0900 (JST)") Message-ID: <87r7e51z4k.fsf@qrnik.zagroda> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: "Marcin 'Qrczak' Kowalczyk" X-Miltered: at concorde with ID 42D238F4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42D238F2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 cvs:01 variance:01 occurence:01 occurences:01 ocaml:01 writes:01 typing:01 jacques:01 parameters:02 reflected:02 garrigue:03 garrigue:03 occurrence:03 variable:06 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Jacques Garrigue writes: > After fixing this in CVS for 3.08.4, you get rightfully: > In this definition, a type variable has a variance that is not reflected > by its occurence in type parameters. It's spelled "occurrence". There are other "occurences" in OCaml sources. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/