Commit 2aa3c6c9 by eqy Committed by Jared Roesch

[NIT] fix relay invariant error message (#3011)

* [NIT] fix common error message

Extremely minor issue, but this is one of the most common error messages people see...

* Update type_solver.cc

trigger CI
parent fb968ea7
...@@ -460,7 +460,7 @@ Type TypeSolver::Resolve(const Type& type) { ...@@ -460,7 +460,7 @@ Type TypeSolver::Resolve(const Type& type) {
} }
bool TypeSolver::Solve() { bool TypeSolver::Solve() {
// update until queue is empty // Update until queue is empty.
while (!update_queue_.empty()) { while (!update_queue_.empty()) {
RelationNode* rnode = update_queue_.front(); RelationNode* rnode = update_queue_.front();
const auto& rel = rnode->rel; const auto& rel = rnode->rel;
...@@ -496,7 +496,7 @@ bool TypeSolver::Solve() { ...@@ -496,7 +496,7 @@ bool TypeSolver::Solve() {
rnode->resolved = false; rnode->resolved = false;
this->ReportError( this->ReportError(
RELAY_ERROR( RELAY_ERROR(
"an internal invariant was violdated while " \ "an internal invariant was violated while " \
"typechecking your program " << "typechecking your program " <<
err.what()), rnode->location); err.what()), rnode->location);
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment