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.3 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 7DFEBBC0B
	for <caml-list@yquem.inria.fr>; Tue, 16 Jan 2007 06:33:36 +0100 (CET)
Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.234])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0G5XZkQ026757
	for <caml-list@yquem.inria.fr>; Tue, 16 Jan 2007 06:33:36 +0100
Received: by wr-out-0506.google.com with SMTP id 68so1182373wra
        for <caml-list@yquem.inria.fr>; Mon, 15 Jan 2007 21:33:32 -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=Q7Ku/hQaL0zsLRHj/h5QV5ZChu4tv2MXBcdSVWwX7rSPUmQmLEM2hXu2LX+HEYWsfwHFO8FtXjOrx3edeVP2R9dtdAc433KZ1CDDXBbDeGMQAwDu9TRETlVS/AO2Z2NKZkxM+9KibyjLsdPAkAT/kxw/MneJwDRKzZ2sXjczOk4=
Received: by 10.90.72.10 with SMTP id u10mr3803455aga.1168925612182;
        Mon, 15 Jan 2007 21:33:32 -0800 (PST)
Received: by 10.90.71.19 with HTTP; Mon, 15 Jan 2007 21:33:32 -0800 (PST)
Message-ID: <6ebe51ce0701152133m6e945d2emeec59219547b22d2@mail.gmail.com>
Date: Tue, 16 Jan 2007 06:33:32 +0100
From: ketty <kattlachan@gmail.com>
To: "Edgar Friendly" <thelema314@gmail.com>
Subject: Re: [Caml-list] Ocaml compiler features
Cc: caml-list@yquem.inria.fr
In-Reply-To: <45AC60CB.4070408@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>
	 <20070115103556.GB12311@furbychan.cocan.org>
	 <45AC60CB.4070408@gmail.com>
X-j-chkmail-Score: MSGID : 45AC63AF.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 45AC63AF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; ocaml:01 compiler:01 appart:01 ketty:98 edgar:98 wrote:01 caml-list:01 int:01 int:01 cond:02 cond:02 expression:02 string:02 describe:07 bla:08 

On 1/16/07, Edgar Friendly <thelema314@gmail.com> wrote:
> No, I want to make the following code legal:
>
> if y = 1 then
>         print_int y;
>         print_int z;
> else
>         print_string "not one"
>

correct me if i am wrong,

you want this to work like it currently does:
if cond then bla;
bla_outside_if;

and this to work like you describe it:
if cond then bla;
bla_inside_if;
else
inside_else;
what_about_this; (* ? *)

appart from the what_about_this expression, consider this:
if cond then
bla;
bla; if cond2 then bla;
bla;
bla;
else ... (* which if do this belong to? *)

allthough it is straitforward to say that else always belongs to the
"if" it is closest to, it does add a whole new elemnt of confusion.