Version française
Home     About     Download     Resources     Contact us    
Browse thread
ignoring toplevel phrases?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] ignoring toplevel phrases?
On Fri, Jun 26, 2009 at 11:22:16AM +0700, Roland Zumkeller wrote:
> Hi,
> 
> Is it possible to modify the toplevel's behavior such that it silently
> ignores any re-definitions of already bound identifiers (without
> recompiling)? I would like to achieve the following:
> 
> # let x = 0;;
> val x : int = 0
> # let x = 1;;
> # x;;
> - : int = 0

Have you considered a camlp4 extension?  I use a camlp4 extension in
Xavierbot to close some potential security holes in the toplevel, so
you could look at that code:

http://et.redhat.com/~rjones/xavierbot/

Rich.

-- 
Richard Jones
Red Hat