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

["Bünzli Daniel" <daniel.buenzli@erratique.ch>]

Le 8 févr. 08 à 16:39, David Teller a écrit :

> On the other hand, if you intend to use `Error and `Success as a  
> standard for
> exceptionless error management, you will need to standardise the use  
> of
> these specific polymorphic variants for this specific meaning and to
> either teach people how to write closed polymorphic variants or expect
> them to miss errors every so often.

That is precisely what take 1 OSR is for.

At the risk of repeating myself, if Pervasives defines a plain variant  
('a, 'b) may_fail = Success of 'a | Error of 'b, I don't care about  
polymorphic variants. The thing is that for now I don't want to depend  
on hypothetical improvements to the standard library performed outside  
the scope of the base distribution. Take 1 allows this, take 2 doesn't  
allow it.

Daniel