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 IAA02001; Wed, 11 Jul 2001 08:09:23 +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 IAA01998 for ; Wed, 11 Jul 2001 08:09:22 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f6B69M905052 for ; Wed, 11 Jul 2001 08:09:22 +0200 (MET DST) Received: (from luther@localhost) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) id IAA09993; Wed, 11 Jul 2001 08:09:39 +0200 Date: Wed, 11 Jul 2001 08:09:39 +0200 From: Sven To: "Krishnaswami, Neel" Cc: caml-list@inria.fr Subject: Re: "Re: [Caml-list] A G'Caml question" + additional info Message-ID: <20010711080939.A9961@dpt-info.u-strasbg.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0.1i In-Reply-To: ; from neelk@cswcasa.com on Tue, Jul 10, 2001 at 02:21:02PM -0400 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Jul 10, 2001 at 02:21:02PM -0400, Krishnaswami, Neel wrote: > Patrick M Doane [mailto:patrick@watson.org] wrote: > > > > On Mon, 2 Jul 2001, Brian Rogoff wrote: > > > > > I'm convinced that the include scheme, when properly integrated with > > > modules, will be sufficient. We need more experience with > > > the current scheme. > > > > I'm convinced now too, it took me a day or two to think things over to > > come to the same conclusion. > > Can you describe how I'd write something like the show function in > Haskell, or the print-object generic function in Dylan? I've looked > at the G'Caml documentation, and it doesn't look like it's possible > to extend a generic function with new branches. yet ... i think they are speacking about an extension to g'caml that would udse the include keyword and permit such extension. Please read the previous mails about this thread. Friendly, Sven Luther ------------------- 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