Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[OSR] Exceptionless error management, take 2
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-08 (19:29)
From: Bünzli_Daniel <daniel.buenzli@e...>
Subject: Re: [Caml-list] [OSR] Exceptionless error management, take 2

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.