Stream: beginners

Topic: Unsupported int casts

view this post on Zulip kukimik (Dec 31 2024 at 22:54):

While trying to cast an U8 integer to I64 in the REPL I get the following error:

Enter an expression, or :help, or :q to quit.

» Num.toI64 3u8
thread 'main' panicked at crates/compiler/gen_dev/src/generic64/mod.rs:4775:22:
not yet implemented: int cast from U8 to I64

And indeed, line 4775 of crates/compiler/gen_dev/src/generic64/mod.rs is:

                _ => todo!("int cast from {source:?} to {target:?}"),

Is there some fundamental reason this (and similar) integer casts are not supported yet? This particular case seems rather obvious, at least to my unsuspecting and unexperienced eye. In the online REPL it works as desired:

» Num.toI64 3u8

3 : I64

I couldn't find a github issue that tracks this problem.

view this post on Zulip Luke Boswell (Dec 31 2024 at 23:09):

What arch are you on? I think the REPL uses the dev backends, which are still filling out these APIs. Wasm is the most mature, then x64 I think.

view this post on Zulip Luke Boswell (Dec 31 2024 at 23:10):

@shua probably would know the status here. They've been chipping away at these functions. :grinning_face_with_smiling_eyes:

view this post on Zulip kukimik (Jan 01 2025 at 22:09):

Thanks! I'm on x86_64.

view this post on Zulip kukimik (Jan 01 2025 at 22:21):

If I can take some more of your time... What do you mean by "dev backends"?

Does that mean that the compiler should handle it and the problem only occurs in the REPL? (I didn't try it.)

Is there some document that gives an overview of the architecture of the compiler/REPL/standard library/other important parts of the language that I'm not aware of?

view this post on Zulip Sam Mohr (Jan 01 2025 at 22:23):

When we compile Roc, it first gets parsed and typechecked and all, and that result gets saved as IR, or an Intermediate Representation. It's a generic, high-level way to say "this is a function, and this is a number, etc." Depending on where and how we want to run the program, we have different "backends" to convert this IR to something the machine can run

view this post on Zulip Sam Mohr (Jan 01 2025 at 22:25):

One of them is LLVM, which is what Rust and Swift and all use, it spits out fast code but it's slow to compile

view this post on Zulip Luke Boswell (Jan 01 2025 at 22:25):

See en.wikipedia.org/wiki/Frontend_and_backend

The roc compiler has three backends.

  1. gen-llvm - used for producing highly optimised machine code that runs fast for a production release. It compiles slow.
  2. gen-dev - used for producing machine code lightening fast for iterative development workflow. The runtime perf is probably terrible.
  3. gen-wasm - used to lower to WASM bytecode

view this post on Zulip Sam Mohr (Jan 01 2025 at 22:25):

Yeah, what he said

view this post on Zulip kukimik (Jan 02 2025 at 23:35):

Ah, ok, so the "dev backends" are the backends designed to be used during development, allowing for fast iteration (at the cost of bad runtime performance). Now I see what the "dev" stands for in this context. Thanks for explaining this!

Last updated: Jul 06 2025 at 12:14 UTC