language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 04:08:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Weaken strings

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-11 16:10:15 -06:00
parent 173d070175
commit caa3a6c6a8
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 35 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3820,17 +3820,41 @@ pub fn rec_defs_help_simple(
/// A let-bound expression is generalizable if it is
/// - a syntactic function under an opaque wrapper
/// - a number literal under an opaque wrapper
fn is_generalizable_expr(_expr: &Expr) -> bool {
// TODO(weakening)
// loop {
// match expr {
// Num(..) | Int(..) | Float(..) => return true,
// Closure(_) => return true,
// OpaqueRef { argument, .. } => expr = &argument.1.value,
// _ => return false,
// }
// }
true
fn is_generalizable_expr(mut expr: &Expr) -> bool {
loop {
match expr {
Num(..) | Int(..) | Float(..) => return true,
Closure(_) => return true,
OpaqueRef { argument, .. } => expr = &argument.1.value,
| Str(_) => return false,
// TODO(weakening)
| SingleQuote(_, _, _, _)
| List { .. }
| Var(_, _)
| AbilityMember(_, _, _)
| When { .. }
| If { .. }
| LetRec(_, _, _)
| LetNonRec(_, _)
| Call(_, _, _)
| RunLowLevel { .. }
| ForeignCall { .. }
| Expr::Record { .. }
| EmptyRecord
| Crash { .. }
| Access { .. }
| Accessor(_)
| Update { .. }
| Tag { .. }
| ZeroArgumentTag { .. }
| OpaqueWrapFunction(_)
| Expect { .. }
| ExpectFx { .. }
| Dbg { .. }
| TypedHole(_)
| RuntimeError(_) => return true,
}
}
}
fn constrain_recursive_defs(