On Fri, Feb 01, 2008 at 07:37:45PM +0100, Bünzli Daniel wrote:
> 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.

Yes, that's annoying. but polymorphic variant got their own annoyance as well.

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

last time i checked, Pervasives is LGPL+static exception.
we can add anything we need in Pervasives.

-- 
Vincent Hanquez