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.