From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA17479 for caml-redistribution; Fri, 26 Nov 1999 11:00:39 +0100 (MET) 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 XAA00152 for ; Thu, 25 Nov 1999 23:44:29 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id XAA23910; Thu, 25 Nov 1999 23:44:21 +0100 (MET) Received: (from vouillon@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA08455; Thu, 25 Nov 1999 23:44:22 +0100 (MET) Message-ID: <19991125234422.11107@pauillac.inria.fr> Date: Thu, 25 Nov 1999 23:44:22 +0100 From: Jerome Vouillon To: Gerd.Stolpmann@darmstadt.netsurf.de, caml-list@inria.fr Subject: Re: The option -rectypes References: <99112402223302.32002@ice> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <99112402223302.32002@ice>; from Gerd Stolpmann on Wed, Nov 24, 1999 at 01:59:36AM +0100 Sender: weis On Wed, Nov 24, 1999 at 01:59:36AM +0100, Gerd Stolpmann wrote: > I have some code that compiled in 2.02, but in 2.03 I need the new option > -rectypes of the compilers. This is a bug in the occur check. It will be corrected in the next release. > - I have thought about the type 'a node extension as 'a. If I apply the > constraint of "node", the condition must hold that > ('a node extension as 'a) node extension > unifies with > ('a node extension as 'a) node #extension > Normally, a closed class type does not unify with an open class type, > and I wonder why this is accepted at all. The type of self cannot be unified with closed object type: this would prevent a further extension of the class. But a type such as #extension can be unified with a closed object type. In particular, it can always be unified with the same type without "#". -- Jérôme