Hello roc, I'm going through the docs, and have a few noob questions:
RunErr : _
. But this gives the error UNDERSCORE NOT ALLOWED HERE
. Is this out of date?main
task [....] cannot return errors, which is indicated by the *
." But in the tutorial we define a main
that returns Exit I32 Str
, so it can return errors? Or am I missing something?oops, those are both out of date!
Is there a new way to, as stated in the tutorial, "express that two types are the same without annotating either of them"?
I noticed some type errors using inference will happen at unrelated call sites, when you compose two functions but one of the signatures changed in incompatible ways. I believe the RunErr : _
trick would push the type error down to the function implementations, i.e. where the mismatch actually happens
Last updated: Jul 06 2025 at 12:14 UTC