roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-21 07:49:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Explain why opaque wrap functions need not be weakened behind lets

Browse Source
This commit is contained in:
Ayaz Hafiz 2023-01-12 10:52:57 -06:00 committed by Folkert
parent 6dca92e420
commit 354765afca
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/compiler/constrain/src/expr.rs
View File

@ -3826,9 +3826,13 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
Num(..) | Int(..) | Float(..) => return true,
Closure(_) => return true,
Accessor(_) => {
// Accessor functions `.field` are equivalent to closures, no need to weaken them.
// Accessor functions `.field` are equivalent to closures `\r -> r.field`, no need to weaken them.
return true
},
OpaqueWrapFunction(_) => {
// Opaque wrapper functions `@Q` are equivalent to closures `\x -> @Q x`, no need to weaken them.
return true
}
OpaqueRef { argument, .. } => expr = &argument.1.value,
Str(_) | List { .. } | SingleQuote(_, _, _, _) | When { .. } | If { .. }
| LetRec(_, _, _)
@ -3849,7 +3853,6 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
| AbilityMember(_, _, _)
| Tag { .. }
| ZeroArgumentTag { .. }
| OpaqueWrapFunction(_)
| Expect { .. }
| ExpectFx { .. }
| Dbg { .. }