From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <micha-1@fantasymail.de>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id AEC16BB81
	for <caml-list@yquem.inria.fr>; Sat, 12 Nov 2005 15:12:38 +0100 (CET)
Received: from mail.gmx.net (pop.gmx.net [213.165.64.20] (may be forged))
	by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id jACECcSR027408
	for <caml-list@yquem.inria.fr>; Sat, 12 Nov 2005 15:12:38 +0100
Received: (qmail invoked by alias); 12 Nov 2005 14:12:36 -0000
Received: from p54A30545.dip0.t-ipconnect.de (EHLO [192.168.2.136]) [84.163.5.69]
  by mail.gmx.net (mp008) with SMTP; 12 Nov 2005 15:12:36 +0100
X-Authenticated: #20477425
From: Michael Wohlwend <micha-1@fantasymail.de>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] strange behavior with record type definition
Date: Sat, 12 Nov 2005 15:15:18 +0100
User-Agent: KMail/1.8.3
References: <43752259.80800@aist.enst.fr> <4375DDFC.9060802@motion-twin.com> <1131799890.18524.14.camel@rosella>
In-Reply-To: <1131799890.18524.14.camel@rosella>
X-Face: S)[vu%Bha1d&ej9GfwAq~7C}A,y[B.uS}+D6'hb~xPwsxymw$fnCOaMe<=?utf-8?q?*bnUajSBR=5Fm=3FR=0A=09?=@V3;iX8[A}z`.%pEQ1r7iZhN8#ktTCBQ}&mkx>=RH&l|l6\]NZI@
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-15"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200511121515.18429.micha-1@fantasymail.de>
X-Y-GMX-Trusted: 0
X-Miltered: at nez-perce with ID 4375F856.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 wrote:01 expression:01 exists:02 problem:05 strange:07 definition:07 michael:07 michael:07 2005:91 think:11 behavior:13 type:14 type:14 record:15 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.3

On Saturday 12 November 2005 13:51, skaller wrote:
> > > So that the type of an expression:
> > >
> > > 	{ x = 1; y = 2 }
> > >
> > > can be determined.

I would have no problem to write in these situations Type1.{ x = 1 } or  
Type2.{x = 2} , I think there exists  camlp4 program for this.

 Michael