debugError()

2022-05-06 09:09:49 -06:00
parent 99d69ac23f
commit fc66f48812
2 changed files with 21 additions and 24 deletions
@@ -85,6 +85,8 @@ struct DebugTrace {
    bool isError;
 };

+void debugError(Error * e, Env & env, Expr & expr);
+
 class EvalState
 {
 public: