mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-15 05:43:19 -08:00
Code Issues Projects Releases Packages Wiki Activity

THE forms did not work with VALUES types when compiled

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2012-07-09 00:08:25 +02:00
parent 572775c8c5
commit 0403394c85
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -93,6 +93,10 @@
form form-type and-type)
(cond ((or (trivial-type-p args) (not (policy-type-assertions)))
value)
((and (consp type)
(eq (first type) 'values))
(c1checked-value (list (values-type-primary-type type)
value)))
((and (policy-evaluate-forms) (constantp value))
(unless (typep (cmp-eval value) type)
(cmpwarn "Failed type assertion for value ~A and type ~A"