On 10 February 2014 08:47, Goswin von Brederlow <goswin-v-b@web.de> wrote:

On Thu, Feb 06, 2014 at 11:10:21AM +0000, Ben Millwood wrote:
> try (...)
> with val
> | Some x -> (...)
> | None -> (...)
> with exception
> | Not_found -> (...)

That would break every existing source using exceptions. Unless the
exception in "with exception" is only required when using "with val".

Sure, make "exception" optional here, and correspondingly "val" optional in match. Or your idea, that works too.