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 SAA11173; Tue, 13 May 2003 18:42:37 +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 SAA11920 for ; Tue, 13 May 2003 18:42:36 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4DGg4H11714; Tue, 13 May 2003 18:42:04 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA11547; Tue, 13 May 2003 18:42:04 +0200 (MET DST) From: Pierre Weis Message-Id: <200305131642.SAA11547@pauillac.inria.fr> Subject: Re: [Caml-list] GCaml In-Reply-To: <20030507193919.GA689@dt7463.spb.edu> from Dimitri Timofeev at "May 7, 103 11:39:19 pm" To: dt@dt7463.spb.edu (Dimitri Timofeev) Date: Tue, 13 May 2003 18:42:04 +0200 (MET DST) Cc: Jun.Furuse@inria.fr, caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; pierre:01 weis:01 caml-list:01 gcaml:01 koi:01 furuse:01 g'caml:01 3.07:01 generic:01 dimitri:01 textual:01 cristal:01 afaik:01 charset:97 inclusion:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [Charset koi8-r unsupported, filtering to ASCII...] > Hello! > > On Mon, 05 May 2003, Jun.Furuse@inria.fr wrote: > > > G'Caml is not dead. I am prepared to restart the project just after > > 3.07 will be released. > > It's a very good news, thank you! > > And a little question about generic function definition. Now (AFAIK) it is > "closed": all cases must be defined in one place. Is it possible to let > user to extend an existing generic function by defining a new case > somewhere else in the code? > > > -- > > Jun > > -- > Dimitri We have studied such an extension mechanism and this has been discussed in this mailing list. In short, extension of generic functions are made via redefinition, with an automatic textual inclusion of the old definition (in the spirit of the include feature of the module system of the language). Hope this helps, Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ ------------------- 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