Re: How to do t_INT bit operations?

["Ruud H.G. van Tol" <rvtol@isolution.nl>]

On 2023-07-06 09:14, hermann@stamm-wilbrandt.de wrote:

> print(Str(gettime())"ms");

Just to nitpick:

Str() can be used as a string-concatter,
but print() already does that itself.

AFAIK, these do about all the same:

print(Str(gettime())"ms");
print(Str(gettime())ms);
print(Str(gettime()),"ms");
print(Str(gettime(),"ms"));
print(Str(gettime()ms));
print(gettime()ms);
print(gettime(), "ms");

And I would always use the last one.


I hardly ever use gettime(), I prefer to use
stored getabstime() values, with printf.

-- Ruud