Le 1 févr. 08 à 16:59, Vincent Hanquez a écrit :

> but what's wrong with the plain [ Value of ... | Error of ... ]  
> variant
> instead of polymorphic variant ?

If it is not defined in Pervasives you have to redefine in it every  
module that follows the recommendation and prefix with module names on  
matching. Annoying.

Now if you know how to get something new accepted in Pervasives I have  
no problem with a plain variant type.

Best,

Daniel