From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bluestorm.dylc@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=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	HTML_10_20,HTML_MESSAGE,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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id DE5ADBB84
	for <caml-list@yquem.inria.fr>; Wed, 13 Aug 2008 14:26:52 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AigBALdvokhC+Vq0lGdsb2JhbACCLjGOWT4BAQEBCQMKBxEDnTeHSQEC
X-IronPort-AV: E=Sophos;i="4.32,201,1217800800"; 
   d="scan'208";a="28192735"
Received: from ik-out-1112.google.com ([66.249.90.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Aug 2008 14:26:52 +0200
Received: by ik-out-1112.google.com with SMTP id c30so5173029ika.3
        for <caml-list@yquem.inria.fr>; Wed, 13 Aug 2008 05:26:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:cc:in-reply-to:mime-version:content-type:references;
        bh=NLnvejeQuv1NIOLuScMyAjSn92wQARxl5HQyUbIN+AQ=;
        b=C4vDthetoA4bu84ZhzML70Z9PjPP3q3aVNkZtEei5CAx185UEIaETTOiTVz8ab2HkV
         INlwBI8yIsn1nkDVWKT5sTH7cOTWgIT+zBKMC4/3Qlx3imxnU+VmG3hksjanap20ax8B
         yTGLuLYv2qmbGMNZ4M0J8hOg+URGu9PET80c8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version
         :content-type:references;
        b=NiodXImrhrdYMhUgQ16+0xSFNgVBBmPddVPGeG6K/kzZ+KnbKqzCj5Hk67fdh07MGF
         IQ4sNwFgbnametos7WHKe9TZDlTUweRzIB/RlR8NhcvvOfaAwqLCT9ctHCc8XkjhKo6b
         EChox6mRsvGzptz3JP4bfQtFLx3mQ4eH78hgg=
Received: by 10.210.28.6 with SMTP id b6mr11817107ebb.121.1218630411920;
        Wed, 13 Aug 2008 05:26:51 -0700 (PDT)
Received: by 10.210.72.8 with HTTP; Wed, 13 Aug 2008 05:26:51 -0700 (PDT)
Message-ID: <527cf6bc0808130526v3673867ale99e3c9e9030e03b@mail.gmail.com>
Date: Wed, 13 Aug 2008 14:26:51 +0200
From: "blue storm" <bluestorm.dylc@gmail.com>
To: "David Allsopp" <dra-news@metastack.com>
Subject: Re: [Caml-list] Value shadowing
Cc: "OCaml List" <caml-list@yquem.inria.fr>
In-Reply-To: <C33B6B8CD9C44358A74F323324EA0FCA@countertenor>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_67637_33190547.1218630411922"
References: <9E2C98C8798A487DAE77F20A9DC4F1E8@countertenor>
	 <20080813101243.GA2038@annexia.org>
	 <C33B6B8CD9C44358A74F323324EA0FCA@countertenor>
X-Spam: no; 0.00; camlp:01 camlp:01 storm:98 caml-list:01 blue:96 explicit:04 explicit:04 problem:05 problem:05 extension:06 extension:06 suppress:09 suppress:09 some:14 some:14 

------=_Part_67637_33190547.1218630411922
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

It could also be possible, with some more camlp4 sweetness, to allow for
local, explicit shadowing.
You'd write something like    | rebind x::xs -> , and it would suppress the
warning.

The problem is that it would make the extension invasive.

------=_Part_67637_33190547.1218630411922
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<div dir="ltr">It could also be possible, with some more camlp4 sweetness, to allow for local, explicit shadowing.<br>You&#39;d write something like&nbsp;&nbsp;&nbsp; | rebind x::xs -&gt; , and it would suppress the warning.<br><br>The problem is that it would make the extension invasive.<br>
</div>

------=_Part_67637_33190547.1218630411922--