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 RAA10409 for caml-redistribution; Thu, 13 Jan 2000 17:25:51 +0100 (MET)
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 XAA05613 for <caml-list@pauillac.inria.fr>; Wed, 12 Jan 2000 23:35:09 +0100 (MET)
Received: from fiji01.liquidmarket.com (oahu02.liquidmarket.com [208.244.147.130])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id XAA13611
	for <caml-list@inria.fr>; Wed, 12 Jan 2000 23:35:06 +0100 (MET)
Received: from maui02.liquidmarket.com (maui02.liquidmarket.com [192.168.1.65])
	by fiji01.liquidmarket.com (8.9.3/8.9.3) with ESMTP id OAA22558;
	Wed, 12 Jan 2000 14:35:01 -0800
Message-Id: <200001122235.OAA22558@fiji01.liquidmarket.com>
X-Mailer: exmh version 2.0.2
From: Francois Rouaix <frouaix@liquidmarket.com>
To: Norman Ramsey <nr@eecs.harvard.edu>
cc: caml-list@inria.fr
Subject: Re: Ocaml secrets 
In-reply-to: Your message of "Wed, 12 Jan 2000 10:31:22 EST."
             <200001121531.KAA30840@wally.eecs.harvard.edu> 
Reply-To: frouaix@liquidmarket.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 12 Jan 2000 14:35:00 -0800
Sender: weis

> Please tell me where in the OCaml manual I could have discovered
> the ability to write
> 
>   tm.Unix.tm_hour

Well, the online manual says

    label ::= label-name
           |  module-path .  lowercase-ident

at http://pauillac.inria.fr/ocaml/htmlman/manual009.html

and expr ::= ... | expr.label
at http://pauillac.inria.fr/ocaml/htmlman/manual013.html

I'd say it's a matter of faith in the regularity of the compiler (or 
its authors, hi guys, how are you) ;-)
Since we know that a language object (except modules and weird things like
method names) always lives in some module, and since we know that we can use 
M.x to access value x in module M, we should expect M.l to be valid to refer
to label l in module M.


--f