Merge remote-tracking branch 'origin/trunk' into flat-declarations

This commit is contained in:
Folkert 2022-06-19 18:45:17 +02:00
commit e0ab55cef5
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
66 changed files with 1870 additions and 1610 deletions

View file

@ -2072,6 +2072,19 @@ impl Declarations {
index
}
pub fn push_expect(&mut self, loc_expr: Loc<Expr>) -> usize {
let index = self.declarations.len();
self.declarations.push(DeclarationTag::Expectation);
self.variables.push(Variable::BOOL);
self.symbols.push(Loc::at_zero(Symbol::ATTR_ATTR));
self.annotations.push(None);
self.expressions.push(loc_expr);
index
}
pub fn push_value_def(
&mut self,
symbol: Loc<Symbol>,