Browse thread
strange behavior with record type definition
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2005-11-12 (12:20) |
| 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