[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] An alternative internal time type.

From: Jörg F. Wittenberger
Subject: Re: [Chicken-hackers] An alternative internal time type.
Date: Sat, 13 Jun 2015 13:30:38 +0200
User-agent: Mozilla/5.0 (X11; Linux armv7l; rv:31.0) Gecko/20100101 Icedove/31.7.0


the attached patch was rather non-sensical.  Dunno how I managed to
compile the wrong directory...  :-/

Am 13.06.2015 um 08:54 schrieb "Jörg F. Wittenberger":
> Hi,
> the attached patch adds initial support for an alternative internal time
> representation.  (Keeps the default as "double".)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]