From 6dfe30a26cecc82146b8dcf3dcdd357fadc5e552 Mon Sep 17 00:00:00 2001 From: Daniel Kochmanski Date: Fri, 28 Apr 2017 11:18:50 +0200 Subject: [PATCH] cmp: don't be so chatty --- src/cmp/cmplam.lsp | 2 +- src/cmp/cmptype-assert.lsp | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/cmp/cmplam.lsp b/src/cmp/cmplam.lsp index d2ef5745f..32ddff434 100644 --- a/src/cmp/cmplam.lsp +++ b/src/cmp/cmplam.lsp @@ -137,7 +137,7 @@ The function thus belongs to the type of functions that ecl_make_cfun accepts." ;; a flexible signature. (progn (multiple-value-setq (minarg maxarg) (get-proclaimed-narg name)) - (cmpnote "~&;;; Function ~A proclaimed (~A,~A)" name minarg maxarg) + (cmpdebug "~&;;; Function ~A proclaimed (~A,~A)" name minarg maxarg) (unless minarg (setf minarg 0 maxarg call-arguments-limit))) (multiple-value-setq (minarg maxarg) diff --git a/src/cmp/cmptype-assert.lsp b/src/cmp/cmptype-assert.lsp index 6e89b3dc6..72ba6a1a1 100644 --- a/src/cmp/cmptype-assert.lsp +++ b/src/cmp/cmptype-assert.lsp @@ -119,7 +119,7 @@ form) ;; Otherwise, emit a full test (t - (cmpnote "Checking type of ~S to be ~S" value type) + (cmpdebug "Checking type of ~S to be ~S" value type) (let ((full-check (with-clean-symbols (%checked-value) `(let* ((%checked-value ,value)) @@ -140,11 +140,11 @@ expression, ensuring that it is satisfied." (when (and (policy-type-assertions env) (not (trivial-type-p type))) - (cmpnote "Checking type of ~A to be ~A" value type) + (cmpdebug "Checking type of ~A to be ~A" value type) `(checked-value ,type ,value))) (defmacro type-assertion (&whole whole value type &environment env) "Generates a type check on an expression, ensuring that it is satisfied." - (cmpnote "Checking type of ~A to be ~A" value type) + (cmpdebug "Checking type of ~A to be ~A" value type) (unless (trivial-type-p type) (expand-type-assertion value type env t)))