mirror of
https://github.com/roc-lang/roc.git
synced 2025-09-30 07:14:46 +00:00
f8c7349193
At the time we introduced presence constraints for tag unions, I added a "destruct_position" variable so that we didn't change the typechecking semantics for everything all at once, and because I wasn't totally sure what I was doing was correct. But now we're more confident in this approach, and every pattern is by definition a destructuring, so there is no need for this flag. Also should fix some potential bugs we didn't notice before with presence constraints in closure variables, though I can't find a good test to reproduce this, since closure variables are hidden from the user. |
||
|---|---|---|
| .. | ||
| builtins.rs | ||
| expr.rs | ||
| lib.rs | ||
| module.rs | ||
| pattern.rs | ||