language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

more comments

Browse source
This commit is contained in:
Folkert 2022-03-13 13:59:39 +01:00
parent 61b4ee054a
commit 523032c6c9
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 27 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -227,7 +227,10 @@ enum Work<'a> {
rank: Rank,
let_con: &'a LetConstraint,
/// Used for imports
/// The variables used to store imported types in the Subs.
/// The `Contents` are copied from the source module, but to
/// mimic `type_to_var`, we must add these variables to `Pools`
/// at the correct rank
pool_variables: &'a [Variable],
},
/// The ret_con part of a let constraint that introduces rigid and/or flex variables
@ -239,7 +242,10 @@ enum Work<'a> {
rank: Rank,
let_con: &'a LetConstraint,
/// Used for imports
/// The variables used to store imported types in the Subs.
/// The `Contents` are copied from the source module, but to
/// mimic `type_to_var`, we must add these variables to `Pools`
/// at the correct rank
pool_variables: &'a [Variable],
},
}