Paul Sandoz paul.sandoz at
Mon Jun 26 21:28:19 UTC 2017

> On 26 Jun 2017, at 12:08, John Rose <john.r.rose at> wrote:
> On Jun 26, 2017, at 11:43 AM, Paul Sandoz <paul.sandoz at <mailto:paul.sandoz at>> wrote:
>>   Point p = ...
>>   if (p match Point(x, _, z))
>>     return new Point(z, another_y , x)
>>   else
>>     throw new Error()
> If you mean to swap z and x in the reconstruction,
> it's a good example of an ad hoc reconstruction which
> is more than just a "wither”.

Yes, i was combining some argument shuffling and replacement, perhaps the example should of been:

   Point p = ...
   if (p match Point(x, _, _))
     return new Point(x, another_y , another_z)
     throw new Error()


> This makes me think there should be a warning
> issued by the compiler if you choose a name for
> a component of a match result which conflicts
> with the name advertised by the constructor.
> So "p match Point(z, y, x)" would get a warning
> on the first and third arguments, if the constructor
> were "Point(x, y, z)" and Point actually had those
> names as part of its API.

More information about the valhalla-dev mailing list