language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add comment

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-06 12:08:42 -04:00
parent a2906995e0
commit 6c79efa43a
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 4 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/compiler/solve/src/solve.rs
View file

@ -2452,18 +2452,16 @@ impl AmbientFunctionPolicy {
ambient_function,
}),
Content::FlexVar(_) => {
// Something like
// Encoder fmt <a> : List U8, fmt -a-> List U8 | fmt has EncoderFormatting
// THEORY: Replace these with empty lambda sets. They will unify the same as a flex
// var does, but allows us to record the ambient function properly.
Content::LambdaSet(LambdaSet {
solved: UnionLabels::default(),
recursion_var: OptVariable::NONE,
unspecialized: SubsSlice::default(),
ambient_function,
})
// Something like
// Encoder fmt <a> : List U8, fmt -a-> List U8 | fmt has EncoderFormatting
// THEORY: Just allow this, it's fine, because the lambda set is unbound,
// but it's not part of an ability signature, so it doesn't have an unspecialized
// lambda set, and hence doesn't need a link to the ambient function.
// *content
}
content => internal_error!("{:?}({:?}) not a lambda set", content, var),
};