From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA00628; Wed, 8 Jan 2003 17:51:22 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 RAA00669 for ; Wed, 8 Jan 2003 17:51:21 +0100 (MET) Received: from grisu.bik-gmbh.de (grisu.bik-gmbh.de [217.110.154.194]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h08GpKr20289 for ; Wed, 8 Jan 2003 17:51:20 +0100 (MET) Received: from bik-gmbh.de (prony.bik-gmbh.de [194.233.237.133]) by grisu.bik-gmbh.de (8.12.3/8.12.3) with ESMTP id h08GpEU8056707; Wed, 8 Jan 2003 17:51:15 +0100 (CET) (envelope-from hars@bik-gmbh.de) Message-ID: <3E1C56F9.4090404@bik-gmbh.de> Date: Wed, 08 Jan 2003 17:51:05 +0100 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.1) Gecko/20020826 X-Accept-Language: de-de, en-us, en MIME-Version: 1.0 To: Christophe Raffalli CC: Diego Olivier Fernandez Pons , caml-list@inria.fr Subject: Re: [Caml-list] =?ISO-8859-1?Q?=E9galit=E9_physique_=28=3D=3D?= =?ISO-8859-1?Q?=29_avec_Pervasives=2E=28+=29?= References: <3E1AE703.8020001@univ-savoie.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Il me semble un peu bizarre d'utiliser l'égalité physique sur des > fonctions ! Well, physical equality of closures is the only meaningful type of equality for functions (unless you manage to discover a polynomial algorithm to solve the halting problem). Yours, Florian. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners