Use u64 in string format specifier

[mzagozen]

Acton Version

0.24.1.20250108.8.28.39

Steps to Reproduce and Observed Behavior

I would like to use an u64 (and other smaller types like u32, ...) value if a string format specifier with %d:

def _test_format_unboxed():
    p = u64(4)
    s = "p = %d" % p

The compiler wants a

ERROR: Error when compiling tf2 module: Type error

   |
15 |    s = "p = %d" % p
   |                   ^
The type of the indicated expression (inferred to be __builtin__.u64) must be a subclass of __builtin__.int

Expected Behavior

Have the code work without the need to convert to int with int(p).

[nordlander]

Ah, this is one of the unfortunate effects of not having integer subtyping in place! We could possibly try fix it via overloading of print, but integer subtyping is something we're planning to support soon anyway. So I propose we defer the issue until then.

[plajjan]

Workarounds:

• print("hello:", u64(123))
• print("hello: %d" % int(u64(123)))
• print("hello: %s" % str(u64(123)))
• print("hello: " + str(u64(123)))