From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id FAA22688; Thu, 5 Apr 2001 05:53:49 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA22812 for <caml-list@pauillac.inria.fr>; Thu, 5 Apr 2001 05:53:48 +0200 (MET DST)
Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f353rmv12024
	for <caml-list@inria.fr>; Thu, 5 Apr 2001 05:53:48 +0200 (MET DST)
Received: (from ddr@localhost)
	by verdot.inria.fr (8.9.3/8.9.3) id FAA04770
	for caml-list@inria.fr; Thu, 5 Apr 2001 05:53:48 +0200
Date: Thu, 5 Apr 2001 05:53:48 +0200
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] semi-colons and begin
Message-ID: <20010405055348.A4758@verdot.inria.fr>
References: <4.3.2.7.2.20010404142255.0338a1c0@shell16.ba.best.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0us
In-Reply-To: <4.3.2.7.2.20010404142255.0338a1c0@shell16.ba.best.com>; from checker@d6.com on Wed, Apr 04, 2001 at 02:33:03PM -0700
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi,

On Wed, Apr 04, 2001 at 02:33:03PM -0700, Chris Hecker wrote:

> I must admit I'm still slightly confused about the semicolon thing,
> even after writing a fair amount of caml code.  The current sticking
> point is that
> 
> # if false then print_int 2; print_int 3;;
> 3- : unit = ()

Do you want me to confuse you more? Try this:

# if false then let _ = () in print_int 2; print_int 3;;

> # if false then print_int 2; print_int 3 else ();;
> Characters 39-43:
> Syntax error

And this one:
# if false then let _ = () in print_int 2; print_int 3 else print_int 4;;

And this situation:
   if blahblah then
      thing1;
   thing2;
   thing3;
I decide to add a let..in for the thing1.

What you see:
   if blahblah then
      let x = e in
      thing1;
   thing2;
   thing3;
What you get:
   if blahblah then
      let x = e in
      thing1;
      thing2;
      thing3;

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr