Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] GCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-05-13 (16:42)
From: Pierre Weis <pierre.weis@i...>
Subject: Re: [Caml-list] GCaml
[Charset koi8-r unsupported, filtering to ASCII...]
> Hello!
> On Mon, 05 May 2003, 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,,

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: