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"


I am unable to figure out from the grammar why this is so.

If the section 6.7 of the manual is correct, an expression may not be
empty so two semicolons separated by whitespace should not be allowed.
Thus the second form of the definition should cause a syntax error.
If an empty expression were allowed, the second form would be parsed
like the first, with "hello" as part of the expression sequence in the
"with" clause.

Is it possible to deduce ocaml's behavior from the grammar?


    --John Carr (jfc@mit.edu)
-------------------
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