main
Ziyang Hu 2 years ago
parent 6acec634e1
commit 1881a21d30

@ -53,7 +53,7 @@ impl CompiledRuleSet {
}
}
}
AggrKind::Meet;
AggrKind::Meet
}
CompiledRuleSet::Algo(_) => AggrKind::None,
}

@ -327,7 +327,7 @@ impl Db {
.stratify()?
.magic_sets_rewrite();
debug!("{:#?}", program);
let (compiled, mut stores) = tx.stratified_magic_compile(&program, &const_rules)?;
let (compiled, stores) = tx.stratified_magic_compile(&program, &const_rules)?;
let result = tx.stratified_magic_evaluate(
&compiled,
&stores,

Loading…
Cancel
Save