From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 6D158BC37 for ; Tue, 9 Feb 2010 18:14:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsBAB8ncUvRVdnhkWdsb2JhbACDM413ghKHSjwBAQEBCQsKBxMDrkIugUqFKohxAQEDBYN0WwSOGQ X-IronPort-AV: E=Sophos;i="4.49,437,1262559600"; d="scan'208";a="56520677" Received: from mail-gx0-f225.google.com ([209.85.217.225]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Feb 2010 18:13:35 +0100 Received: by gxk25 with SMTP id 25so5310780gxk.17 for ; Tue, 09 Feb 2010 09:13:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=vnWVmfzj68yNkhPxjzRux/1hPd3Mt7yUk6lq9EG+QHI=; b=bUpp9+KFBCoRqE2nEE/U4LKSjhmNiFPc+35s5uski2+SswMUfXhsnzH81FOttjJTAU PMTWSRK8BEIO31zd7Qx5QNFm2uOOPTqQxwMHGMjUd3P6REWZ6j0fKEJ6E1PGDNg0Lssc TzolQCzc9q/5eA81f6Ngxj0mbg5X9Tu69fKHE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=Dpw7JKtt1LmvPGToOLBF3juoj+dcLCQ0O6XcbNyfrkGkyBCjY9aRtqwQhx0FcZqmG3 Euo1ot+WmufE+Qf6+M1LavSjtGq8PBE3vUJEmyXi7Vh+SFX8lbvD1HJBgLDEWVi/8k4f bOac5cDjEuc6zHIRlV+ErwRAsa+1mYcTeWazQ= MIME-Version: 1.0 Received: by 10.101.27.10 with SMTP id e10mr10905257anj.54.1265735614478; Tue, 09 Feb 2010 09:13:34 -0800 (PST) In-Reply-To: <20100209.123813.39168535.garrigue@math.nagoya-u.ac.jp> References: <14cf844b1002081907y2900c313q97ae0cb6f4c92394@mail.gmail.com> <20100209.123813.39168535.garrigue@math.nagoya-u.ac.jp> Date: Tue, 9 Feb 2010 11:13:34 -0600 Message-ID: <14cf844b1002090913p4721469cqbe159441f42f904a@mail.gmail.com> Subject: Re: [Caml-list] Preventing values from escaping a context From: Rich Neswold To: Jacques Garrigue Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636b2b99bae3a1a047f2e0915 X-Spam: no; 0.00; compiler:01 runtime:01 compiler:01 runtime:01 wrote:01 wrote:01 caml-list:01 expressive:01 expressive:01 parameter:02 parameter:02 functional:02 functional:02 garrigue:03 garrigue:03 X-Attachments: cset="UTF-8" cset="UTF-8" --001636b2b99bae3a1a047f2e0915 Content-Type: text/plain; charset=UTF-8 On Mon, Feb 8, 2010 at 9:38 PM, Jacques Garrigue < garrigue@math.nagoya-u.ac.jp> wrote: > From: Rich Neswold > > > My question is this: Is there a way to make the compiler reject a > function > > parameter from returning the context parameter? > > The language is just too expressive... > You should rather look into adding a dynamic flag to your context, > causing a runtime error if you use it later. > This is the way it works now, so I'll continue to use it. I'm still new to the functional language scene and wasn't sure if I was missing something obvious. Thanks for your time! -- Rich Google Reader: https://www.google.com/reader/shared/rich.neswold Jabber ID: rich@neswold.homeunix.net --001636b2b99bae3a1a047f2e0915 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Mon, Feb 8, 2010 at 9:38 PM, Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> wrote:
From: Rich Neswold <rich.neswo= ld@gmail.com>

> My question is this: Is there a way to make the comp= iler reject a function
> parameter from returning the context parameter?

The language is just too expressive...
You should rather look into adding a dynamic flag to your context,
causing a runtime error if you use it later.

This is= the way it works now, so I'll continue to use it. I'm still new to= the functional language scene and wasn't sure if I was missing somethi= ng obvious.

Thanks for your time!
--001636b2b99bae3a1a047f2e0915--