Date Succ(date, timeSet, -k), with k>0

[Javier Gallardo]

Date fec = y2003m04d23;

please try this in on different tol versions

Date fec02 = Succ(fec, Succ(D(1), -2, WD(5)), 2);
Date fec01 = Succ(fec, Succ(D(1), -2, WD(5)), 1);

I've got:
fec01 = y2003m04d18 which is prior to fec (Version 2005/04/08)
fec02 = y2003m04d25 (Version 2005/04/08)
fec02 = y2003m05d30 which doesn´t belong to Succ(D(1), -2, WD(5)) (Version
2004/05/04)

This produces always the same Date in all the version si have tried
fec.0k = y2003m04d18 !!!
Date fec.01 = Succ(fec, Succ(D(1), -2, WD(5)), -1);
Date fec.02 = Succ(fec, Succ(D(1), -2, WD(5)), -2);
Date fec.03 = Succ(fec, Succ(D(1), -2, WD(5)), -3);
Date fec.04 = Succ(fec, Succ(D(1), -2, WD(5)), -4);

[danirus]

Hi,

All this stuff will be changed in a short time. But anyway I would like to know
what exactly you want to do. The fact is that with your example I could check
the validity of next generation Succ functions, but the code you post doesn't
tell what you are trying, I mean, it's a matter because both functions you
mention have problems: Date Succ and TimeSet.

Can you post, please, more information on the code porpouse.
Thanks a lot.
Daniel

[Víctor de Buen Remiro]

Pardon to have forgotten this bug.
We are working about it
Thanks to report it

[Víctor de Buen Remiro]

Bug has been fixed.
More information in
​http://cvs.tol-project.org/viewcvs.cgi/toldoc/Time/TD-diseño.pdf