From 1614670834c72fd81543b7f78024f34c991761e3 Mon Sep 17 00:00:00 2001 From: slava Date: Sun, 24 Sep 2006 05:08:34 +0000 Subject: [PATCH] Messages tool fix --- library/ui/tools/messages.factor | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/library/ui/tools/messages.factor b/library/ui/tools/messages.factor index d0f8bea2d6..06561fb395 100644 --- a/library/ui/tools/messages.factor +++ b/library/ui/tools/messages.factor @@ -16,14 +16,19 @@ M: messages batch-begins M: messages compile-begins 2drop ; +: messages-errors+ + dup messages-errors# 1+ swap set-messages-errors# ; + +: messages-warnings+ + dup messages-warnings# 1+ swap set-messages-warnings# ; + M: messages compile-error - over inference-error-major? [ - dup messages-errors# 1+ over set-messages-errors# - messages-errors - ] [ - dup messages-warnings# 1+ over set-messages-warnings# - messages-warnings - ] if [ error. ] with-stream ; + over inference-error? + [ over inference-error-major? ] + [ t ] if + [ dup messages-errors+ messages-errors ] + [ dup messages-warnings+ messages-warnings ] if + [ error. ] with-stream ; : ( -- gadget ) "Compiler messages"