On 2010-10-04 03:47, Dan Doel wrote: > When constructors and matching thereon were added for records, I believe there > were similar issues with subject reduction, which is why the matches are now > translated to projections. The plan was always to use projections, we just did not get round to it when first adding record patterns. -- /NAD