Transition solve to use a worklist rather than always recursing

Browse source

This should unblock some of @folkertdev's work on transitioning builtins
to pure Roc code. It's not perfect yet (we still make some recursions),
but it's a step, and it should avoid recursing on `Let`
`ret_constraint`s, which caused stack overflows when they became really
long before.

...

This commit is contained in:

ayazhafiz 2022-02-27 15:46:01 -05:00

parent dcf3c052af

commit 56d4dc3480

1 changed files with 622 additions and 454 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

1076

compiler/solve/src/solve.rs

View file

File diff suppressed because it is too large Load diff