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 RAA20514 for caml-redistribution@pauillac.inria.fr; Fri, 12 Nov 1999 17:47:44 +0100 (MET)
Resent-Message-Id: <199911121647.RAA20514@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 LAA19620 for <caml-list@pauillac.inria.fr>; Fri, 12 Nov 1999 11:31:35 +0100 (MET)
Received: from smtp1.hetnet.nl (smtp1.hetnet.nl [145.7.225.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA20156
	for <caml-list@inria.fr>; Fri, 12 Nov 1999 11:31:32 +0100 (MET)
Received: from hetnet.nl ([194.151.104.151]) by smtp1.hetnet.nl  with Microsoft SMTPSVC(5.5.1877.327.32);
	 Fri, 12 Nov 1999 11:28:54 +0100
Received: from beertje.william.bogus ([195.121.169.11]) by hetnet.nl  with Microsoft SMTPSVC(5.5.1877.327.32);
	 Fri, 12 Nov 1999 11:27:11 +0100
Received: (from williamc@localhost)
	by beertje.william.bogus (8.9.3/8.8.7) id KAA00899;
	Fri, 12 Nov 1999 10:54:11 +0100
From: William Chesters <williamc@dai.ed.ac.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Fri, 12 Nov 1999 10:54:11 +0100 (CET)
To: caml-list@inria.fr
Subject: 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.43 under 20.4 "Emerald" XEmacs  Lucid
Message-ID: <14379.57911.66594.802065@beertje.william.bogus>
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 12 Nov 1999 17:47:44 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

skaller writes:
 > I am getting an undefined label error. 
 > I know why. I do not know how to fix the problem:
 > 
 > 	(Unix.fstat argument).st_kind

You want (Unix.fstat argument).Unix.st_kind

(Is this in the docs?  I found it once when looking at the camlp4 parser.)

This is definitely one of those cases where type inference doesn't
seem such a good idea ... it feels so like K&R C, sometimes having to
fall back on giving labels little prefixes ... I wonder if some kind
of inference would be possible, not going the whole way to the
tag-based system used for classes, but at least something that
maintains a set of hypotheses consistent with the labels used in
connection with a value, which could then be narrowed down
contextually.