Timo Carlin-Burns
Timo Carlin-Burns
(Maybe we don't need `Num.fromStr`. I didn't realize we already had `Str.toU32`, `Str.toF32`, etc.)
To elaborate on how `Str.dropFirstBytes` and `Str.dropLastBytes` work, it's safe to slice a valid utf-8 string as long as you don't chop any characters in the middle. You can tell...
Related issue #5536. See [Let-generalization: Let’s not?](https://rwx.notion.site/Let-generalization-Let-s-not-742a3ab23ff742619129dcc848a271cf#0929c77b98ab47b0be4f534d7ec4dc04) for background on why only syntactic functions and numbers should be allowed to be polymorphic
Oof I just took the time to minimize a miscompilation [I encountered in Advent of Code](https://github.com/timotree3/aoc2023/blob/c1bde13fc83a3818906038a10dc3cbde5bf85646/roc/day8.roc#L371) and I think it's a duplicate of this: ```roc interface Issue6139 exposes [buggy] imports...
@Zamiell do you welcome a PR?
Yeah I would say a first PR should start with the base variant since there is controversy around acceptable required efficiency for variants. But I think allowing this to combine...
Blocked by #3686 which would fix the only remaining failing test.
awaiting-review
@leodemoura I would love if you would review this PR when you get the chance. I think you are effectively the code owner for the discrimination tree.
> This seems like a significant usability regression from my perspective. You're right. Getting an error message `failed to synthesize instance OfNat MyType 0` when you have an instance of...