Version française
Home     About     Download     Resources     Contact us    
Browse thread
strange behavior with record type definition
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Cannasse <ncannasse@m...>
Subject: Re: [Caml-list] strange behavior with record type definition
>>Mmhh, why do we have to use differents label names in distinct record 
>>types ?
> 
> 
> So that the type of an expression:
> 
> 	{ x = 1; y = 2 }
> 
> can be determined.

It could still be determined using all the labels together instead of 
the first one only, but that will not go well with the { r with ... } 
construct.

Nicolas