Version française
Home     About     Download     Resources     Contact us    
Browse thread
Announcement: automatically resizing arrays
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: Undefined labels

> 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