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 RAA17056; Wed, 1 May 2002 17:36:00 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17051 for caml-list@pauillac.inria.fr; Wed, 1 May 2002 17:36:00 +0200 (MET DST) 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 KAA18100 for ; Tue, 30 Apr 2002 10:24:05 +0200 (MET DST) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3U8O4524423 for ; Tue, 30 Apr 2002 10:24:04 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id KAA57467 ; Tue, 30 Apr 2002 10:24:03 +0200 (CEST) Received: from d85.lama.univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.1/jtpda-5.4) with ESMTP id g3U8NxP4015998 ; Tue, 30 Apr 2002 10:23:59 +0200 Subject: Re: [Caml-list] Specialized functors From: Christophe Raffalli To: malc Cc: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Mailer: Evolution/1.0.2-5mdk Date: 30 Apr 2002 10:24:02 +0200 Message-Id: <1020155042.3234.0.camel@d85.lama.univ-savoie.fr> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le mar 30/04/2002 =E0 09:12, malc a =E9crit : > Hi, >=20 > Here http://algol.prosalg.no/~malc/code/specfun.tar.gz you can find small > OCaml 3.04 patch to allow functor specialization. Feedback is welcome. >=20 Can you tell us what it does (I prefer to know before I try) --=20 Christophe Raffalli Universit=E9 de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex t=E9l: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- 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