From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kattlachan@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id DB7DABC0A
	for <caml-list@yquem.inria.fr>; Sat, 13 Jan 2007 10:31:18 +0100 (CET)
Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.237])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0D9VIjB027173
	for <caml-list@yquem.inria.fr>; Sat, 13 Jan 2007 10:31:18 +0100
Received: by wx-out-0506.google.com with SMTP id i26so1100267wxd
        for <caml-list@yquem.inria.fr>; Sat, 13 Jan 2007 01:31:15 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=S3o1acKU5lnsq0hmrGtRTuYxh2YDjRpjAsFdGJEKLlVPfOWN0IBa8DtmCq+CGNxZGGNNGPdzvRXyyU52a67R9e8FT/9N5jsnXZoyswZekTFRavUNfDIY454DCFaUg43MmRaBB6pZ9ts0w/ZXugIGPHzY+S9Mxswgy3cDIPI5N/8=
Received: by 10.90.99.20 with SMTP id w20mr1307025agb.1168680674264;
        Sat, 13 Jan 2007 01:31:14 -0800 (PST)
Received: by 10.90.71.19 with HTTP; Sat, 13 Jan 2007 01:31:13 -0800 (PST)
Message-ID: <6ebe51ce0701130131s7635f744md607c520caa4398e@mail.gmail.com>
Date: Sat, 13 Jan 2007 10:31:13 +0100
From: ketty <kattlachan@gmail.com>
To: david.baelde@ens-lyon.org
Subject: Re: [Caml-list] Ocaml compiler features
Cc: "Edgar Friendly" <thelema314@gmail.com>, caml-list@yquem.inria.fr
In-Reply-To: <53c655920701122341l3b95328clf4e9ee40d5656dde@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <45A87011.8080203@gmail.com>
	 <53c655920701122341l3b95328clf4e9ee40d5656dde@mail.gmail.com>
X-j-chkmail-Score: MSGID : 45A8A6E6.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 45A8A6E6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; ocaml:01 compiler:01 foo:01 ketty:98 edgar:98 wrote:01 wrote:01 precedence:01 caml-list:01 expression:02 clause:03 clause:03 raise:03 meant:06 hasn't:08 

Hi,

On 1/13/07, Edgar Friendly <thelema314@gmail.com> wrote:
> Would it really be enough to raise the precedence of ; higher
> than that of if/then?  Is there any reason this hasn't been done already?

and

On 1/13/07, David Baelde <david.baelde@gmail.com> wrote:
> It may be useful to note that some people might want to write code like:
>
> foo ;
> x <- if y then a else b ;
> bar ;
>
> In that example bar is really meant to be outside the if-then-else.


I think the biggest consern is that the else clause is optional. So
you can write code like this:

  if condition then do_something (); (* no trailing else clause *)
  do_something_else (); (* this is outside the if expression ')
  ...etc...