Stream: beginners

Topic: Casting integers?

view this post on Zulip Matthieu Pizenberg (Nov 27 2025 at 13:42):

How do I cast a U8 into a I128 with the new compiler?

view this post on Zulip Richard Feldman (Nov 27 2025 at 13:55):

we don't have those conversion functions yet :joy:

view this post on Zulip Richard Feldman (Nov 27 2025 at 13:56):

I'll make a PR today

view this post on Zulip Matthieu Pizenberg (Nov 27 2025 at 13:57):

I was struggling to make a low level test with evalModuleAndGetInt which needs to cast from i128. So I might need to adapt that function then.

Last updated: Nov 28 2025 at 12:16 UTC