trying debugThrow

2022-05-06 08:47:21 -06:00
parent 99d69ac23f
commit 2c9fafdc9e
7 changed files with 115 additions and 207 deletions
@@ -127,7 +127,11 @@ public:
    bool debugStop;
    bool debugQuit;
    std::list<DebugTrace> debugTraces;
-    void debugLastTrace(Error & e) const;
+
+    [[gnu::noinline, gnu::noreturn]]
+    void debugThrow(const Error &error, const Env & env, const Expr & expr) const;
+    [[gnu::noinline, gnu::noreturn]]
+    void debugThrowLastTrace(Error & e) const;

 private:
    SrcToStore srcToStore;