Re: Redefinition doesn't work

[Sven LUTHER <luther@dpt-info.u-strasbg.fr>]

On Tue, Oct 31, 2000 at 12:06:13PM +0100, Pierre Weis wrote:
> Jaeyoun Chung (mailto:jay@kldp.org) wrote:
> 
> >  this is quite true but the above feature for the toplevel is quite useful
> >  during the development phase. if each time we should redefine everything
> >  dependent on one function, toplevel isn't quite that useful -- to find out
> >  the dependencies or just reload everything dependent on the file
> >  containing the function is what should have be done automatically. what
> >  about having an option or directive so that user can control the behavior?
> 
> We already have one: #use "filename.ml";;
> 
> For instance, you can use a loadall.ml file that contains the list of
> #use directives that load the files that made your program.
> 
> >  when user redefines some function, isn't it exactly the user's intention
> >  to redefine all the bindings already defined not only those following that
> >  redefinition?
> 
> No, I guess it is not the intention of the user, since he does not
> know the set of bindings that uses the function he is redefining.

Isn't it possible to have a rebind or something such keyboard, that would test
that the type of the newly binded value is the same as the old value, or maybe
even something larger than that ?

Friendly,

Sven LUTHER