diff options
| -rw-r--r-- | src/main.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.cpp b/src/main.cpp index b736045c..2d4e4a4c 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -26,9 +26,10 @@ int g_debug_indent_level = 0; bool debug_enabled()
{
//return true;
- return g_cur_phase != "Parse";
+ //return g_cur_phase != "Parse";
//return g_cur_phase != "Parse" && g_cur_phase != "Expand";
//return g_cur_phase != "Parse" && g_cur_phase != "Expand" && g_cur_phase != "Resolve";
+ return g_cur_phase != "Parse" && g_cur_phase != "Expand" && g_cur_phase != "Resolve" && g_cur_phase != "Typecheck Expressions";
}
::std::ostream& debug_output(int indent, const char* function)
{
|