]> > If I write a match directly within another match, or a try ... with > expression in a sequence of expressions, it is often necessary to > use two semicolons separated by whitespace after the pattern matching. > > For example, > > let f x = try x + 1 with Invalid_argument _ -> 42 ; "hello" > > is parsed as > > let f x = try x + 1 with Invalid_argument _ -> (42 ; "hello") > > (and causes a type error), but if I add a second semicolon > > let f x = try x + 1 with Invalid_argument _ -> 42 ; ; "hello" > > is parsed as > > let f x = (try x + 1 with Invalid_argument _ -> 42;) ; "hello" Please don't use the "; ;" form: it has never been intended to work, it's just an unexpected consequence of some other decisions made in the Yacc grammar. The proper way to write what you want is let f x = (try x + 1 with Invalid_argument _ -> 42) ; "hello" or let f x = begin try x + 1 with Invalid_argument _ -> 42 end; "hello" - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners