diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-26 18:25:50 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-26 18:25:50 +0000 |
commit | 0b4ed64d295316146fc4de8a5a2e971b771058b8 (patch) | |
tree | 5ab9bfb647145e4200877b86db332288716b91da | |
parent | cd08fb3fdeaeb80f8d980f7ef2ace93cf5194c0e (diff) |
* "trace" primop: write the trace to standard error.
-rw-r--r-- | src/libexpr/primops.cc | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/libexpr/primops.cc b/src/libexpr/primops.cc index 3d080dec3..b9ba3da64 100644 --- a/src/libexpr/primops.cc +++ b/src/libexpr/primops.cc @@ -296,18 +296,19 @@ static Expr prim_getEnv(EvalState & state, const ATermVector & args) return makeStr(getEnv(name)); } -/* for debugging purposes. print the first arg on stdout (perhaps stderr should be used?) - * and return the second + +/* Evaluate the first expression, and print its abstract syntax tree + on standard error. Then return the second expression. Useful for + debugging. */ static Expr prim_trace(EvalState & state, const ATermVector & args) { - //string str = evalStringNoCtx(state, args[0]); - - Expr a = evalExpr(state, args[0]); - printf("traced value: %s\n", atPrint(a).c_str()); + Expr e = evalExpr(state, args[0]); + printMsg(lvlError, format("trace: %1%") % e); return evalExpr(state, args[1]); } + static Expr prim_relativise(EvalState & state, const ATermVector & args) { PathSet context; /* !!! what to do? */ |