Skip to content

Commit

Permalink
refactor: minor cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
grjte committed Dec 2, 2022
1 parent 1a32d40 commit f93a0ab
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
8 changes: 4 additions & 4 deletions ir/src/error.rs
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
#[derive(Debug)]
pub enum SemanticError {
InvalidConstraint(String),
InvalidIdentifier(String),
DuplicateIdentifier(String),
InvalidUsage(String),
IndexOutOfRange(String),
TooManyConstraints(String),
InvalidConstraint(String),
InvalidIdentifier(String),
InvalidPeriodicColumn(String),
InvalidUsage(String),
MissingDeclaration(String),
TooManyConstraints(String),
}
2 changes: 2 additions & 0 deletions ir/src/symbol_table.rs
Original file line number Diff line number Diff line change
Expand Up @@ -154,6 +154,8 @@ impl SymbolTable {
Ok(())
}

/// Consumes this symbol table and returns the information required for declaring public inputs
/// and periodic columns for the AIR.
pub(super) fn into_declarations(self) -> (PublicInputs, PeriodicColumns) {
(self.public_inputs, self.periodic_columns)
}
Expand Down

0 comments on commit f93a0ab

Please sign in to comment.