From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 9AE42BB81 for ; Fri, 13 Jan 2006 10:39:19 +0100 (CET) Received: from rabbit.math.nagoya-u.ac.jp (rabbit.math.nagoya-u.ac.jp [133.6.130.5]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0D9dHVt007781 for ; Fri, 13 Jan 2006 10:39:18 +0100 Received: from localhost (millas [172.16.30.29]) by rabbit.math.nagoya-u.ac.jp (8.12.11/3.7W) with ESMTP id k0D9d32i005102; Fri, 13 Jan 2006 18:39:03 +0900 (JST) Date: Fri, 13 Jan 2006 18:37:23 +0900 (JST) Message-Id: <20060113.183723.183041009.garrigue@math.nagoya-u.ac.jp> To: skaller@users.sourceforge.net Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Mixing variant types... From: Jacques Garrigue In-Reply-To: <1137138992.3681.462.camel@rosella> References: <1137038225.3681.178.camel@rosella> <20060113.135716.226786926.garrigue@math.nagoya-u.ac.jp> <1137138992.3681.462.camel@rosella> X-Mailer: Mew version 4.0.69 on Emacs 22.0.50 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 43C77545.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 covariance:01 bug:01 sourceforge:01 unsafe:01 jacques:01 jacques:01 variant:02 types:02 garrigue:03 garrigue:03 module:03 nagoya-u:04 indeed:05 mixing:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 From: skaller > And if I'm right, the + in the implementation proves covariance > mechanically so it should be safe. As the Event module does not use unsafe features, this indeed proves correctness. > Should I add a feature request to the bug tracker? No need: this is already fixed. Jacques