Ports with version numbers going backwards: devel/ode

[Erik Trulsson]

On Mon, Jun 28, 2004 at 05:25:16PM +0200, Oliver Eikemeier wrote:
> Sergey Matveychuk wrote:
> 
> >I meant we can treat leading zeros as decreasing factor.
> >So, x.001 < x.002 < x.01 < x.02 < x.1 < x.2 < x.10 < x.20
> >In other words - zeros never can dropped except there are only zeros in 
> >the number i.e. X = X.0 = X.00 = X.000 etc.
> >
> >We can look on a version number part with leading zeros as on a number 
> >with an implicit dot: 001 -> 0.01, 02 -> 0.2 etc. So comparing will not 
> >be a problem.
> 
> As far as I understand your proposal this will give us
> 
>   0.005 < 0.05 < 0.039 < 0.050 < 0.5 < 0.39 < 0.50 < 0.390 < 0.500

I understand his proposal rather as giving

0.005 < 0.039 < 0.05 = 0.050 < 0.5 < 0.39 < 050 < 0.390 < 0.500

I.e. IF (but only if) a part of the version number starts with a zero
the whole is just treated as a decimal number, unlike the current
scheme where we always treat it as two integers separated by a dot (and
leading zeros in a version number part are thus irrelevant currently.)

I don't know which scheme is best.  The current one has the advantage
that it is simple and easy to describe, but it can give surprising
results if you think of the version number as an actual *number*.

> 
> while the current order is
> 
>   0.005 = 0.05 = 0.5 < 0.039 = 0.39 < 0.050 = 0.50 < 0.390 < 0.500
> 
> so you have `interesting' sequences like `0.05 < 0.039 < 0.5 < 0.39'. 
> This is what you intended, but it looks strange to me.




-- 
<Insert your favourite quote here.>
Erik Trulsson
ertr1013 at student.uu.se