15 Nov
2011
15 Nov
'11
8:50 p.m.
Quoting Yitzchak Gale
Yes. The translation of record updates given in the Report makes perfect sense for {}. It is only forbidden by "n >= 1", but no reason is given for that restriction.
It doesn't make sense to me. The translation explodes a value into a case statement over its constructors; what constructors do you use when you don't know the type of the value? When n >= 1, you know the type of the value by looking where the field came from, and hence which constructors to use in the case statement. ~d