Undefined labels

From: skaller (skaller@maxtal.com.au)
Date: Thu Nov 11 1999 - 12:39:50 MET

Next message: Prof. Dr. Vogler: "Undefined labels"
Previous message: Gerd Stolpmann: "Exceptions inside assertions"
In reply to: Damien Doligez: "Re: GC time"
Next in thread: Jean-Christophe Filliatre: "Re: Undefined labels"
Maybe reply: Jean-Christophe Filliatre: "Re: Undefined labels"
Maybe reply: William Chesters: "Undefined labels"
Maybe reply: Christian RINDERKNECHT: "Re: Undefined labels"
Maybe reply: Jean-Francois Monin: "Re: Undefined labels"
Maybe reply: Manuel Fahndrich: "RE: Undefined labels"
Maybe reply: Brian Rogoff: "RE: Undefined labels"
Maybe reply: Anton Moscal: "RE: Undefined labels"
Maybe reply: Markus Mottl: "Re: Undefined labels"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Thu, 11 Nov 1999 22:39:50 +1100
From: skaller <skaller@maxtal.com.au>
To: caml-list@inria.fr
Subject: 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.

-- 
John Skaller, mailto:skaller@maxtal.com.au
1/10 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
downloads: http://www.triode.net.au/~skaller

Next message: Prof. Dr. Vogler: "Undefined labels"
Previous message: Gerd Stolpmann: "Exceptions inside assertions"
In reply to: Damien Doligez: "Re: GC time"
Next in thread: Jean-Christophe Filliatre: "Re: Undefined labels"
Maybe reply: Jean-Christophe Filliatre: "Re: Undefined labels"
Maybe reply: William Chesters: "Undefined labels"
Maybe reply: Christian RINDERKNECHT: "Re: Undefined labels"
Maybe reply: Jean-Francois Monin: "Re: Undefined labels"
Maybe reply: Manuel Fahndrich: "RE: Undefined labels"
Maybe reply: Brian Rogoff: "RE: Undefined labels"
Maybe reply: Anton Moscal: "RE: Undefined labels"
Maybe reply: Markus Mottl: "Re: Undefined labels"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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