Re: Patch for install: allow to change prototype

[Bill Allombert <allomber@math.u-bordeaux.fr>]

On Fri, Nov 22, 2002 at 01:02:38PM -0800, Ilya Zakharevich wrote:
> The solution is
> 
> ? install(addsi,GG)
> ? addsi(1,1)
> %1 = 5755029
> ? kill(addsi)
> ? install(addsi,LG)
> ? addsi(1,1)
> %2 = 2

Ho thanks, havn't thought of using kill!

> So isn't it enough to convert the warning to an error?

That was a bad idea. It is a warning, because sometime you put install commands
at the start of a GP script. If it was an error, you would not be able to
reload the script a second time after having made some modifications.  So  my
point stand, if you correct your install commands in the script, this should be
reflected after reloading it.

Cheers,
Bill.