Re: [Caml-list] destructive local opens

[Goswin von Brederlow <goswin-v-b@web.de>]

On Fri, Aug 14, 2015 at 01:28:50PM +0200, Drup wrote:
> 
> >You can't qualifylocal values or values of the surrounding module so
> >that is a no go.
> >
> >I also often use local open to access records, as in:
> >
> >let r = M.({ x = 1; y; z = depth; }) in
> 
> You can avoid the local open altogether and write it like that:
> 
>     let r = {M. x = 1; y; z = depth } in
> 
> It's even shorter.

That only works because newer ocaml disambiguises (is that a word?)
record labels when it determines the record type from the first label,
right? So it's implicitly using M.y = y and M.z = depth.

MfG
	Goswin