Fix error reporting for dmlc::Error

apache · Jan 23, 2019 · 4e32721 · 4e32721
1 parent fa8397d
commit 4e32721
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/relay/pass/type_solver.cc b/src/relay/pass/type_solver.cc
@@ -438,8 +438,11 @@ bool TypeSolver::Solve() {
       rnode->resolved = false;
     } catch (const dmlc::Error& err) {
       rnode->resolved = false;
-      std::cout << err.what() << std::endl;
-      exit(1);
+      this->ReportError(
+          RELAY_ERROR(
+            "an internal invariant was violdated while" \
+            "typechecking your program" <<
+            err.what()), rnode->location);
     }
 
     // Mark inqueue as false after the function call