Records -- current status

[Cyrill]

>> 1. What about automatically providing a copy constructor for records?
>
> [...]  (C# supports this through the combination of named parameters, 
> default values, and "receiver-defaults.")  This is something we're 
> thinking about, especially as we approach value types, but don't have 
> a clear story on yet.
Speaking of default values & named params, is there an effort for these 
yet? Or is it just, as you say, not yet a clear story and thus maybe a 
side-topic in the valhalla ML? I'd be interested to follow the 
discussions once they come up.

Kind regards,
Cyrill Brunner