diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-23 19:19:26 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-23 19:19:26 +0000 |
commit | 1332dd1ed34b45b7e970111da561f20ffe6bc6b2 (patch) | |
tree | 3c3902472f1c4f07219bcd8115c6e6081e22bae8 /src | |
parent | 63a17d4bd5e0a9c0f896221017ab518a6cc4c79b (diff) |
* tryEval shouldn't catch all exceptions of type Error, since not all
of them leave the evaluator in a continuable state. Also, it should
be less chatty.
Diffstat (limited to 'src')
-rw-r--r-- | src/libexpr/primops.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libexpr/primops.cc b/src/libexpr/primops.cc index 6408ca956..7ce28757c 100644 --- a/src/libexpr/primops.cc +++ b/src/libexpr/primops.cc @@ -232,8 +232,8 @@ static Expr prim_tryEval(EvalState & state, const ATermVector & args) Expr val = evalExpr(state, args[0]); res.set(toATerm("value"), makeAttrRHS(val, makeNoPos())); res.set(toATerm("success"), makeAttrRHS(eTrue, makeNoPos())); - } catch (Error & e) { - printMsg(lvlInfo, format("tryEval caught an error: %1%: %2%") % e.prefix() % e.msg()); + } catch (AssertionError & e) { + printMsg(lvlDebug, format("tryEval caught an error: %1%: %2%") % e.prefix() % e.msg()); res.set(toATerm("value"), makeAttrRHS(eFalse, makeNoPos())); res.set(toATerm("success"), makeAttrRHS(eFalse, makeNoPos())); } |