diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 19:06:07 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 19:06:07 +0000 |
commit | 9a76c8034cadc11b1528be8727f25693f823fb21 (patch) | |
tree | e6c81952013d82986e4d597a23c018b2abc912da /src/expr/expr_template.cpp | |
parent | fec2b5751108088ff651ce6eed09bf3aa65f281e (diff) |
bug fixes for types, old unit tests for types work now
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index a1be2ece8..876b400fe 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -38,6 +38,11 @@ std::ostream& operator<<(std::ostream& out, const Expr& e) { return out; } +TypeCheckingException::TypeCheckingException(const TypeCheckingException& t) +: Exception(t.d_msg), d_expr(new Expr(t.getExpression())) + {} + + TypeCheckingException::TypeCheckingException(const Expr& expr, std::string message) : Exception(message), d_expr(new Expr(expr)) { |