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

recursive groups to constraint gen

Browse source
This commit is contained in:
Folkert 2022-05-15 14:49:58 +02:00
parent c57cbff5e0
commit 2b04930e9a
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 75 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

22
compiler/can/src/expr.rs
View file

@ -1953,6 +1953,21 @@ impl Declarations {
}
}
pub fn push_recursive_group(&mut self, length: u16, cycle_mark: IllegalCycleMark) -> usize {
let index = self.declarations.len();
let tag = DeclarationTag::MutualRecursion { length, cycle_mark };
self.declarations.push(tag);
// dummy values
self.variables.push(Variable::NULL);
self.symbols.push(Loc::at_zero(Symbol::ATTR_ATTR));
self.annotations.push(None);
self.expressions.push(Loc::at_zero(Expr::EmptyRecord));
index
}
pub fn push_recursive_def(
&mut self,
symbol: Loc<Symbol>,
@ -2162,7 +2177,7 @@ impl Declarations {
}
pub fn len(&self) -> usize {
self.declarations.iter().map(|d| d.len()).sum()
self.declarations.len()
}
pub fn is_empty(&self) -> bool {
@ -2202,7 +2217,10 @@ pub enum DeclarationTag {
Recursive(Index<Loc<FunctionDef>>),
TailRecursive(Index<Loc<FunctionDef>>),
Destructure(Index<DestructureDef>),
MutualRecursion { length: u16, cycle_mark: u32 },
MutualRecursion {
length: u16,
cycle_mark: IllegalCycleMark,
},
}
impl DeclarationTag {