language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 16:21:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Format

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-11 17:16:07 -06:00
parent 04cf7e070d
commit 2e41b59af4
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/compiler/constrain/src/expr.rs
View file

@ -3826,14 +3826,11 @@ fn is_generalizable_expr(mut expr: &Expr) -> bool {
Num(..) | Int(..) | Float(..) => return true,
Closure(_) => return true,
OpaqueRef { argument, .. } => expr = &argument.1.value,
| Str(_)
| List { .. }
| SingleQuote(_, _, _, _)
| When { .. }
| If { .. }
=> return false,
Str(_) | List { .. } | SingleQuote(_, _, _, _) | When { .. } | If { .. } => {
return false
}
// TODO(weakening)
| Var(_, _)
Var(_, _)
| AbilityMember(_, _, _)
| LetRec(_, _, _)
| LetNonRec(_, _)