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 KAA24764 for caml-redistribution; Thu, 12 Jun 1997 10:37:49 +0200 (MET DST) 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 KAA19232 for ; Mon, 9 Jun 1997 10:59:32 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id KAA20605 for ; Mon, 9 Jun 1997 10:59:30 +0200 (MET DST) Received: from vedette.ens.fr (vedette.ens.fr [129.199.130.1]) by nef.ens.fr (8.8.5/jtpda-5.1) with ESMTP id KAA02969 ; Mon, 9 Jun 1997 10:59:29 +0200 (MET DST) Received: from localhost (vouillon@localhost) by vedette.ens.fr (8.8.5/jb-1.1) id KAA26685 ; Mon, 9 Jun 1997 10:59:28 +0200 (MET DST) X-Authentication-Warning: vedette.ens.fr: vouillon owned process doing -bs Date: Mon, 9 Jun 1997 10:59:28 +0200 (MET DST) From: Jerome Vouillon X-Sender: vouillon@vedette Reply-To: Jerome Vouillon To: Vyskocil Vladimir cc: Caml list Subject: Re: Unbound row variable in #basic_bloc In-Reply-To: <33982B7E.532E30C7@math.unice.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis Bonjour, > J'ai pas trouve l'explication de ce message d'erreur dans la documention > d'objective caml 1.05. Cela survient lorsque je fait : > > type node_t=#basic_bloc > > Si quelqu'un pouvait me donner des indications ? Cette erreur est similaire a l'erreur "Unbound type parameter 'a" que l'on obtient lorsque le second membre d'une definition de type contient des variables de types libres (par exemple : type t = 'a). Plus precisement, l'abreviation #basic_bloc s'expanse en un type d'objet "ouvert" < m_i : t_i; .. >. Dans ce type, les points d'expansions representent en fait une variable de type, appelee "row variable". Cette variable est un parametre implicite de l'abreviation #basic_bloc. Comme elle n'apparait pas en parametre du constructeur node_t dans la definition de type "type node_t=#basic_block", une erreur est produite. Le terme "row variable" n'apparait effectivement nulle part dans le manuel... Je vais le rajouter. -- Jerome Vouillon