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 SAA04964 for caml-red; Thu, 2 Nov 2000 18:40:08 +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 TAA08467 for <caml-list@pauillac.inria.fr>; Tue, 31 Oct 2000 19:55:27 +0100 (MET)
Received: from tequila.cs.yale.edu (tequila.cs.yale.edu [128.36.229.152])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id e9VItQ101154
	for <caml-list@inria.fr>; Tue, 31 Oct 2000 19:55:26 +0100 (MET)
Received: from tequila.cs.yale.edu (localhost [127.0.0.1])
	by tequila.cs.yale.edu (8.9.3/8.9.3) with SMTP id NAA14462
	for <caml-list@inria.fr>; Tue, 31 Oct 2000 13:55:16 -0500
To: caml-list@inria.fr
From: "Stefan Monnier" <monnier+lists.caml/news/@RUM.CS.YALE.EDU>
Newsgroups: lists.caml
Subject: Re: Redefinition doesn't work
References: <20001031125223.A24595@lambda.u-strasbg.fr> <200010311647.RAA05334@pauillac.inria.fr>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.90
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Path: rum.cs.yale.edu
NNTP-Posting-Host: rum.cs.yale.edu
Message-ID: <39ff158f$1@tequila.cs.yale.edu>
Date: 31 Oct 2000 13:55:11 -0500
X-Trace: 31 Oct 2000 13:55:11 -0500, rum.cs.yale.edu
Sender: weis@pauillac.inria.fr

>>>>> "Pierre" == Pierre Weis <Pierre.Weis@inria.fr> 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.


        Stefan