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 VAA18295 for caml-redistribution; Tue, 13 Jul 1999 21:22:51 +0200 (MET DST)
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 UAA21282 for <caml-list@pauillac.inria.fr>; Tue, 13 Jul 1999 20:00:49 +0200 (MET DST)
Received: from sarg.Ryerson.CA (sarg.Ryerson.CA [141.117.18.117])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA29219
	for <caml-list@inria.fr>; Tue, 13 Jul 1999 20:00:48 +0200 (MET DST)
Received: from sarg.Ryerson.CA (dmason@localhost [127.0.0.1])
	by sarg.Ryerson.CA (8.8.7/8.8.7) with ESMTP id NAA00710
	for <caml-list@inria.fr>; Tue, 13 Jul 1999 13:59:44 -0400
Message-Id: <199907131759.NAA00710@sarg.Ryerson.CA>
To: caml-list@inria.fr
Subject: irritability of structure name conflicts
In-reply-to: Your message of "Mon, 12 Jul 1999 19:20:36 +0200."
             <378A23E4.ECEDD6DB@ps.uni-sb.de> 
Mime-Version: 1.0 (generated by tm-edit 7.108)
Content-Type: text/plain; charset=US-ASCII
Date: Tue, 13 Jul 1999 13:59:44 -0400
From: Dave Mason <dmason@sarg.Ryerson.CA>
Sender: weis

I have the following as part of a type declaration:
	and variable = {name:scheme; mutable value:scheme; next:variable}
	and field = {fname:scheme;
		     fclass:scheme;
		     finit:scheme option;
		     fnext:field}
	and clause = {tags:scheme list;code:scheme list}
	and binding = {id:int;mutable set:bool;value:scheme}

all of which compiles fine, but I get the error:
	The label value belongs to the type Types.binding
	but is here mixed with labels of type Types.variable
at a line that says, in part:
	 {name=sym;value=r;next=symbol_table.(idx)}

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!

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?

Thanks	../Dave