[repost - the yahoo mailing list seems to be eating messages]
On Mon, Oct 05, 2009 at 12:21:53PM +0200, Chantal KELLER wrote:
> Sylvain Le Gall a écrit :
> >
> > Variant type constructor (i.e. Plus/Minus/Int) are not functions.
>
> Is there a good reason for that?
There's a good question. In ML those constructors _are_
functions. This is a question for the main list.