From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA11460 for caml-red; Mon, 6 Nov 2000 23:28:34 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA12541 for <weis@pauillac.inria.fr>; Mon, 6 Nov 2000 22:30:48 +0100 (MET)
Received: from smtp4.ihug.co.nz (smtp4.ihug.co.nz [203.109.252.5])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA6LUj117123;
	Mon, 6 Nov 2000 22:30:45 +0100 (MET)
Received: from [192.168.0.12] (p9-max10.wlg.ihug.co.nz [203.173.232.73])
	by smtp4.ihug.co.nz (8.9.3/8.9.3/Debian 8.9.3-21) with ESMTP id KAA24747;
	Tue, 7 Nov 2000 10:30:23 +1300
X-Authentication-Warning: smtp4.ihug.co.nz: Host p9-max10.wlg.ihug.co.nz [203.173.232.73] claimed to be [192.168.0.12]
Mime-Version: 1.0
X-Sender: bruce@209.163.245.148
Message-Id: <a04310147b62cd33643f4@[192.168.0.12]>
In-Reply-To: <y9lofzuzn34.fsf@sams.informatik.uni-tuebingen.de>
References: <200011031656.RAA30196@pauillac.inria.fr>
	<y9lofzuzn34.fsf@sams.informatik.uni-tuebingen.de>
Date: Tue, 7 Nov 2000 10:30:21 +1300
To: sperber@informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor]),
        Pierre Weis <Pierre.Weis@inria.fr>
From: Bruce Hoult <bruce@hoult.org>
Subject: Re: Redefinition doesn't work
Cc: caml-list@inria.fr
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
Sender: weis@pauillac.inria.fr

At 12:15 PM +0100 5/11/00, sperber@informatik.uni-tuebingen.de (Michael Sperber
>Traditionally, dynamic binding means something like this:
>
>(define x 1)
>(define (f)
>   x)
>(let ((x 2))
>   (f))
>
>Under dynamic binding (and, in fact, in languages like Common Lisp),
>the last expression returns 2.

No!  This is true for older lisps (and Emacs lisp, too), but Common 
Lisp is lexically bound.

-- Bruce