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
Re: Redefinition doesn't work
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Frank Atanassow <franka@c...>
Subject: Re: Redefinition doesn't work
Pierre Weis writes:
 > >  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.

Maybe I missed it, but one relevant thing I did not see mentioned in this
discussion is the fact that if a value x is rebound, and the type of the
new x differs from that of the old, then some values whose implementation
(definition) depend on x may become ill-typed.

Frank Atanassow, Dept. of Computer Science, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
Tel +31 (030) 253-1012, Fax +31 (030) 251-3791