From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.berenger@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 690097EEEF
	for <caml-list@sympa.inria.fr>; Mon, 22 Jun 2015 19:42:35 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.13,660,1427752800"; 
   d="scan'208";a="166697245"
Received: from meleze.ens.fr (HELO [129.199.99.114]) ([129.199.99.114])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 22 Jun 2015 19:42:35 +0200
Message-ID: <5588490B.3010402@inria.fr>
Date: Mon, 22 Jun 2015 19:42:35 +0200
From: Francois Berenger <francois.berenger@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <m2vbefx41k.fsf@charm-ecran.irisa.fr>	<1434982765.31996.19.camel@e130.lan.sumadev.de>	<CALGm1Vig7vhXaHP-D0pb4BqhZVA1xUWObJd4Bpd_WGb5XjbVLw@mail.gmail.com>	<CAJ_epFOeuyvV0pH_DRRd4u9Qair18vZF718Xv=Bg-=m-h7AMzg@mail.gmail.com> <CAM3Ki77U75Gb4iZQhPyXWCUyD_ghC9hDuYxh=Ms8hymfhat=jQ@mail.gmail.com>
In-Reply-To: <CAM3Ki77U75Gb4iZQhPyXWCUyD_ghC9hDuYxh=Ms8hymfhat=jQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] use of ";;" when teaching Ocaml

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.

> On 22 June 2015 at 16:56, Thomas Refis <thomas.refis@gmail.com> wrote:
>> 2015-06-22 16:48 GMT+01:00 Damien Doligez <damien.doligez@inria.fr>:
>>> Gerd has totally nailed it, and that's the reason why I always use ;;
>>> in my code.
>>> If we had another keyword for toplevel let (let without in) the
>>> situation would be quite different.
>>
>> http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html !
>>
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

-- 
Regards,
Francois.
"When in doubt, use more types"