On Mon, Jun 22, 2015 at 1:42 PM, Francois Berenger <francois.berenger@inria.fr> wrote:

On 06/22/2015 06:07 PM, Mark Shinwell wrote:

I've heard the argument of Gerd from various people on many occasions.
Personally, I don't buy it; I think the situation where the error
message is deficient doesn't happen very often, whereas ";;" is
syntactic clutter that I have to see every day (and would rather not
see).

Mark

I am curious.
How do you make this file compile without ';;' in it ?

# cat src/test.ml
---
let main () =
failwith "not implemented yet"
;;

main ()
---

I always use ';;' just for that use case.
I really don't know if there is another way that fits a single file.

An idiomatic way is to write:

let () = main ()

Your example is particular case, showing why `;;` is bad. Because it forces compiler to take

code that is not in ocaml syntax.