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 JAA07173 for caml-red; Fri, 3 Nov 2000 09:54:09 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA12432 for ; Thu, 2 Nov 2000 23:45:32 +0100 (MET) Received: from math.berkeley.edu (gold.Math.Berkeley.EDU [169.229.58.61]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA2MjVv21399 for ; Thu, 2 Nov 2000 23:45:32 +0100 (MET) Received: from yuban-c.math.berkeley.edu (blue1.Math.Berkeley.EDU [169.229.58.58]) by math.berkeley.edu (8.9.3/8.9.3) with ESMTP id OAA16295; Thu, 2 Nov 2000 14:45:30 -0800 (PST) Received: (from datta@localhost) by yuban-c.math.berkeley.edu (8.9.3/8.9.3) id OAA05818; Thu, 2 Nov 2000 14:45:09 -0800 (PST) Date: Thu, 2 Nov 2000 14:45:09 -0800 From: Ruchira Datta To: caml-list@inria.fr Subject: Re: Redefinition doesn't work Message-ID: <20001102144509.A5788@blue1.berkeley.edu> Reply-To: datta@math.berkeley.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: weis@pauillac.inria.fr Stefan Monnier wrote: >>>>>> "Pierre" == Pierre Weis writes: >> It is not only a question of type. As I mentioned in my previous >> message, if you allow the user to ``rebind'' some basic functions, >> such as map or iter, the behaviour of the compiler can be >> unpredictable. > >It never seems to bother Lisp users. It must have bothered some Lisp users, otherwise why does Scheme have lexical scoping? Ruchira Datta datta@math.berkeley.edu