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 RAA32683 for caml-redistribution@pauillac.inria.fr; Fri, 12 Nov 1999 17:43:27 +0100 (MET) Resent-Message-Id: <199911121643.RAA32683@pauillac.inria.fr> 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 KAA27559 for ; Fri, 12 Nov 1999 10:28:29 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA18868 for ; Fri, 12 Nov 1999 10:28:29 +0100 (MET) Received: from (filliatr@localhost) by ext.lri.fr (8.9.3/jtpda-5.3.2) id KAA06160 ; Fri, 12 Nov 1999 10:28:05 +0100 (MET) X-Authentication-Warning: ext.lri.fr: filliatr set sender to filliatr@ext.lri.fr using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14379.56741.42521.795069@ext.lri.fr> Date: Fri, 12 Nov 1999 10:28:05 +0100 (MET) To: skaller Cc: caml-list@inria.fr Subject: Re: Undefined labels In-Reply-To: <382AAB06.F3DF8CC0@maxtal.com.au> References: <199910132358.BAA09027@miss.wu-wien.ac.at> <382AAB06.F3DF8CC0@maxtal.com.au> X-Mailer: VM 6.49 under Emacs 20.3.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Resent-From: weis@pauillac.inria.fr Resent-Date: Fri, 12 Nov 1999 17:43:27 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > I am getting an undefined label error. > I know why. I do not know how to fix the problem: > > (Unix.fstat argument).st_kind > > Here, the function returns a structure, st_kind > is a label of that structure, but it is not known > in the calling module. Is there a syntax for this? > Using 'open Unix' is unacceptable. (Unix.fstat argument).Unix.st_kind Best regards, -- Jean-Christophe FILLIATRE mailto:Jean-Christophe.Filliatre@lri.fr http://www.lri.fr/~filliatr