Stream: beginners

Topic: 😱 LLVM errors when defining function


view this post on Zulip Fábio Beirão (Jun 09 2023 at 08:47):

This will be hard to reproduce, but maybe one of you knows what the underlying issue. Easier to share via images.
If I have this code, with the non-annotated requiredForUpdate:
image.png

:check: roc check passes fine 0 errors.

:cross_mark: But roc dev, roc build, roc test, roc run all crash with this error:
image.png

The moment I annotate that requiredForUpdate as requiredForUpdate : U32 then we're off to the tracks, all works again.
I'm not sure how to create a small reproducible example.

view this post on Zulip Fábio Beirão (Jun 09 2023 at 08:49):

:point_up: Also, if I don't use a "variable/declaration" and just type 30_000_000 on line 203, it also works fine

view this post on Zulip Fábio Beirão (Jun 09 2023 at 08:51):

This is on the nightly build, roc nightly pre-release, built from commit d1d59ce on Mi 07 Jun 2023 09:07:34 UTC

view this post on Zulip Fábio Beirão (Jun 09 2023 at 08:55):

:point_up: Seems obvious, but also works un-annotated, if I enter the number as 30_000_000u32

view this post on Zulip Anton (Jun 09 2023 at 09:00):

We've had some issues like that before but they've all been fixed. Can you share the full code in an issue?

view this post on Zulip Fábio Beirão (Jun 09 2023 at 09:14):

Issue 5532 submitted, I hope it helps. :)


Last updated: Jul 06 2025 at 12:14 UTC