mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-18 23:32:17 -08:00
Code Issues Projects Releases Packages Wiki Activity

THE currently cannot generate type-checking code for multiple-values types.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2012-07-14 16:38:46 +02:00
parent 23d5394a2e
commit 18596a1368
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/cmp/cmpspecial.lsp
View file

@ -23,9 +23,14 @@
(cmperr "The declaration ~s was found in a bad place." (cons 'DECLARE args)))
(defun c1the (args)
(if (policy-the-is-checked)
(c1checked-value args)
(c1truly-the args)))
(check-args-number 'THE args 2 2)
;; FIXME: C1CHECKED-VALUE cannot check multiple values.
(let ((type (first args)))
(if (and (policy-the-is-checked)
(not (and (consp type)
(eq (first type) 'values))))
(c1checked-value args)
(c1truly-the args))))
(defun c1truly-the (args)
(check-args-number 'TRULY-THE args 2 2)