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 TAA16215; Tue, 19 Jun 2001 19:57:12 +0200 (MET DST) 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 TAA16916 for ; Tue, 19 Jun 2001 19:57:11 +0200 (MET DST) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5JHv9X28352; Tue, 19 Jun 2001 19:57:10 +0200 (MET DST) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id KAA22458; Tue, 19 Jun 2001 10:57:08 -0700 (PDT) Date: Tue, 19 Jun 2001 10:57:08 -0700 (PDT) From: Brian Rogoff To: Jun Furuse cc: caml-list@inria.fr Subject: [Caml-list] Re: [Caml-announce] G'Caml, Caml with Extensional polymorphism extension In-Reply-To: <20010619182424P.Jun.Furuse@inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 19 Jun 2001, Jun Furuse wrote: > Hello, > > I'm pleased to announce G'Caml, the experimental extension of > the extensional polymorphism([1],[2]) to O'Caml, available at > > http://pauillac.inria.fr/~furuse/generics/ Congratulations, lots of us have been waiting for such an extension. It's a bit of a pity that one of the current limitations of the system is that it doesn't work with objects, but I suppose you are saving that for the final merging when you can name the whole thing GO'Caml, which will perhaps please some people who aren't satisfied with the current name, and opens up lots of opportunities for logos (fan's yelling "Go Caml go!", a clever looking Caml playing go, etc :-) Enough joking, time to play with this new toy... -- Brian ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr