English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Preventing values from escaping a context
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-02-09 (17:14)
From: Rich Neswold <rich.neswold@g...>
Subject: Re: [Caml-list] Preventing values from escaping a context
On Mon, Feb 8, 2010 at 9:38 PM, Jacques Garrigue <
garrigue@math.nagoya-u.ac.jp> wrote:

> From: Rich Neswold <rich.neswold@gmail.com>
> > 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

Thanks for your time!


Google Reader: https://www.google.com/reader/shared/rich.neswold
Jabber ID: rich@neswold.homeunix.net