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 SAA23215 for caml-redistribution; Wed, 14 Jul 1999 18:32:34 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA14405 for ; Wed, 14 Jul 1999 17:43:07 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA07583; Wed, 14 Jul 1999 17:43:04 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA22046; Wed, 14 Jul 1999 17:43:03 +0200 (MET DST) Message-ID: <19990714174303.17280@pauillac.inria.fr> Date: Wed, 14 Jul 1999 17:43:03 +0200 From: Xavier Leroy To: Dave Mason , caml-list@inria.fr Subject: Re: irritability of structure name conflicts References: <378A23E4.ECEDD6DB@ps.uni-sb.de> <199907131759.NAA00710@sarg.Ryerson.CA> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: <199907131759.NAA00710@sarg.Ryerson.CA>; from Dave Mason on Tue, Jul 13, 1999 at 01:59:44PM -0400 Sender: weis > I didn't get the error before I added the field type! I'm (a) > confused, and (b) irritated that I have to keep making up names for > labels! I agree it's an unpleasant feature of Caml, caused by the way we do type inference on record accesses. E.g. if a label "lbl" could belong to two named record types t1 and t2, "fun x -> x.lbl" would have two types "t1 -> ..." and "t2 -> ..." > Is there some way I can force it to interpret the type constructor as > a particular type so that it chooses the labels from the correct set? Currently no, but we discussed several possible approaches on this list a while ago. If you're interested, you can search the archives at http://caml.inria.fr/. (The subject line was "CamlIDL - stub code generator and COM binding for OCaml".) Best, - Xavier Leroy