Add extra information to -show-more-timings

2026-06-17 11:22:22 -07:00 · 2020-05-21 09:30:15 +01:00
parent 3f23a0b3b0
commit 89d824216a
3 changed files with 89 additions and 62 deletions
@@ -4405,6 +4405,7 @@ void check_parsed_files(Checker *c) {
 			error(token, "Undefined entry point procedure 'main'");
 		}
 	}
+	TIME_SECTION("type check finish");

 #undef TIME_SECTION
 }