[PATCH] report statistics on printing procedures

4 views
Skip to first unread message

Qian Yun

unread,
Nov 4, 2023, 9:41:18 AM11/4/23
to fricas-devel
Search for "startTimingProcess" in src/interp, and you'll find
that "print" is timed but it will never be printed by
")set message time long".

So adding it to "$interpreterTimedNames".

- Qian

diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot
index 3b361422..281c3b33 100644
--- a/src/interp/g-timer.boot
+++ b/src/interp/g-timer.boot
@@ -141,6 +141,7 @@ DEFPARAMETER($interpreterTimedNames, '(
(other 3 . O) _
(diskread 3 . K) _
(resolve 1 . R) _
+ (print 3 . P) _
))

DEFPARAMETER($interpreterTimedClasses, '(
Reply all
Reply to author
Forward
0 new messages