Re: [Caml-list] [OSR] Exceptionless error management, take 2

[Jon Harrop <jon@ffconsultancy.com>]

On Thursday 07 February 2008 15:17:29 Jacques Garrigue wrote:
> However, the comments at the end look just like copied from Vincent
> Hanquez's mail.
> For me, points 2 and 3 make no sense at all.
> Polymorphic variants allow to check exhaustiveness... as long as you
> use exhaustive pattern matching (i.e. no wildcard, exactly like for
> normal variants.)
> And they _cannot_ pollute any namespace, since they define nothing.
> The other points are subjective.

Yes, that's what I thought. I'd also add that the argument that beginners 
might be put off this approach if it uses advanced features like polymorphic 
variants is moot because beginners won't be using this anyway.

Indeed, I think it would be valuable to enumerate exactly who might be using 
this.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e