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 JAA09917 for caml-redistribution; Tue, 10 Jun 1997 09:19:41 +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 NAA22675 for <caml-list@pauillac.inria.fr>; Mon, 9 Jun 1997 13:47:58 +0200 (MET DST)
Received: from firewall.hd.ibm.de (firewall.hd.ibm.de [192.101.197.10]) by nez-perce.inria.fr (8.8.5/8.7.3) with SMTP id NAA22686 for <caml-list@inria.fr>; Mon, 9 Jun 1997 13:47:37 +0200 (MET DST)
Received: from kaa.heidelbg.ibm.com by firewall.hd.ibm.de (AIX 4.1/UCB 5.64/4.03/chkV1.0)
          id AA14654; Mon, 9 Jun 1997 13:46:45 +0200
Received: from idse.heidelbg.ibm.com by kaa.heidelbg.ibm.com (AIX 3.2/UCB 5.64/4.03)
          id AA23943; Mon, 9 Jun 1997 13:46:26 +0200
Received: by idse.heidelbg.ibm.com (AIX 3.2/UCB 5.64/4.03)
          id AA50181; Mon, 9 Jun 1997 13:46:23 +0200
Message-Id: <9706091146.AA50181@idse.heidelbg.ibm.com>
X-Mailer: exmh version 1.6.4p2 10/10/95 (wish4.1)
To: Vyskocil Vladimir <vyskocil@math.unice.fr>
Cc: Caml list <caml-list@inria.fr>
Subject: Re: Unbound row variable in #basic_bloc 
In-Reply-To: (Your message of Fri, 06 Jun 97 17:23:42 O.)
             <33982B7E.532E30C7@math.unice.fr> 
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Date: Mon, 09 Jun 97 13:46:23 +0100
From: Wolfgang Lux <lux@heidelbg.ibm.com>
Sender: weis

> Bonjour,
> =

> J'ai pas trouve l'explication de ce message d'erreur dans la documentio=
n
> d'objective caml 1.05. Cela survient lorsque je fait :
>
> type node_t=#basic_bloc
>
> Si quelqu'un pouvait me donner des indications ?

Yes (sorry, it seems as if I should learn french real soon now, but
until then you live with an english answer only :-).

Let us assume you has defined basic_bloc as follows:

class basic_bloc () =
  method do_nothing = ()
end

then the types basic_bloc and #basic_bloc would be have been defined as
follows:

   basic_bloc = < do_nothing : unit >
   #basic_bloc = < do_nothing : unit; .. >

Note the ellipsis ".." in the second. This is an anonymous row
variable. (Row variables are used to describe and type extensible
records, but in the implementation of Ocaml they are not available to
user. Actually the only row variable you will ever encouter in Ocaml
explicitly is the ellipsis ".."). Row variables, just like type
variables must be bound somewhere, but if you try to define

   type node_t = #basic_bloc

then ".." is unbound.

Regards
Wolfgang