Stream: bugs

Topic: ✔ 132 SIGIL: illegal hardware instruction in roc check

view this post on Zulip Ian McLerran (May 15 2026 at 18:24):

Found a bug while type-checking a function annotation that takes a value of a parameterized type alias whose body wraps a tuple in Try. roc check produces a 132 SIGILL.

No function body required:

Min :: [].{}

Type(a) : Try((a, {}), [])

f : Type(a), (a -> {}) -> {}

Issue: #9428

view this post on Zulip Ian McLerran (May 15 2026 at 21:46):

Looks like #9299 closes this.

view this post on Zulip Notification Bot (May 15 2026 at 21:51):

Ian McLerran has marked this topic as resolved.

Last updated: May 23 2026 at 12:51 UTC