On Tuesday 02 October 2007 22:05:07 kirillkh wrote:
> Is it a deficiency in the language?
A constraint of the type system by design.
> I suppose OCaml could support
> polymorphic exceptions, if they were checked, like in Java, and appeared in
> function signatures in a similar way to parameters and return values.
The exn type would need an undefined number of type parameters.
--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e