mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-22 20:42:03 -08:00
Code Issues Projects Releases Packages Wiki Activity

cmp: don't be so chatty

Browse source
This commit is contained in:
Daniel Kochmanski 2017-04-28 11:18:50 +02:00
parent 68b15cde5b
commit 6dfe30a26c
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/cmp/cmplam.lsp
View file

@ -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)

6
src/cmp/cmptype-assert.lsp
View file

@ -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)))