Pierre Weis writes:
> We propose the notation {expr with label1 = e1; lable2 = e2 ... } to
> mean the record returned by the expression expr with fields label1,
> label2, ... set to values e1, e2, ...

 Is it a good idea to ``hide'' the copy of one object behind a simple
keyword ? I think such operation should be more explicit. Something with
the 'new' keyword like

	new expr with {label1 = e1; lable2 = e2 ... }

makes things a bit clearer.

 Anyway, a function Record.copy would be enough !

--Pascal