diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-06-01 01:13:21 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-06-01 01:13:21 +0000 |
commit | c6a8319b05cf1b156691132b3bec1f56ca6588e0 (patch) | |
tree | 44f204e88ad5e820181c88882759f727cc133332 /src/theory/builtin | |
parent | 471352e0956d1e9e1f0636933e792ed8650d5526 (diff) |
minor fix, and better output for type errors
Diffstat (limited to 'src/theory/builtin')
-rw-r--r-- | src/theory/builtin/theory_builtin_type_rules.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/builtin/theory_builtin_type_rules.h b/src/theory/builtin/theory_builtin_type_rules.h index cffc95ab2..f343848d8 100644 --- a/src/theory/builtin/theory_builtin_type_rules.h +++ b/src/theory/builtin/theory_builtin_type_rules.h @@ -82,8 +82,10 @@ class EqualityTypeRule { if ( lhsType != rhsType ) { std::stringstream ss; ss << Expr::setlanguage(language::toOutputLanguage(Options::current()->inputLanguage)); - ss << "Types do not match in equation "; - ss << "[" << lhsType << "<>" << rhsType << "]"; + ss << "Types do not match in equation:" << std::endl; + ss << "Equation: " << n << std::endl; + ss << "Type 1: " << lhsType << std::endl; + ss << "Type 2: " << rhsType << std::endl; throw TypeCheckingExceptionPrivate(n, ss.str()); } |