Re: Undefined labels

From: Jean-Christophe Filliatre (Jean-Christophe.Filliatre@lri.fr)
Date: Fri Nov 12 1999 - 10:28:05 MET


From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Fri, 12 Nov 1999 10:28:05 +0100 (MET)
To: skaller <skaller@maxtal.com.au>
Subject: Re: Undefined labels
In-Reply-To: <382AAB06.F3DF8CC0@maxtal.com.au>
        <382AAB06.F3DF8CC0@maxtal.com.au>

> 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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:28 MET