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

cmp: remove duplicate type assertion handling

Browse source
This commit is contained in:
Marius Gerbershagen 2023-06-18 11:12:45 +02:00
parent a4b69e5c04
commit 9084ab97bd
1 changed files with 1 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

28
src/cmp/cmptype.lsp
View file

@ -156,32 +156,6 @@
(values (nreverse (car checks)) (nreverse (cadr checks))
(nreverse (caddr checks)) (nreverse new-auxs))))
(defun type-error-check (value type)
(case type
(cons
`(ffi:c-inline (,value) (:object) :void
"@0;if (ecl_unlikely(ECL_ATOM(#0))) FEtype_error_cons(#0);"
:one-liner nil))
(array
`(ffi:c-inline (,value) (:object) :void
"if (ecl_unlikely(!ECL_ARRAYP(#0))) FEtype_error_array(#0);"
:one-liner nil))
(list
`(ffi:c-inline (,value) (:object) :void
"if (ecl_unlikely(!ECL_LISTP(#0))) FEtype_error_list(#0);"
:one-liner nil))
(sequence
`(ffi:c-inline (,value) (:object) :void
"if (ecl_unlikely(!(ECL_LISTP(#0) || ECL_VECTORP(#0))))
FEtype_error_sequence(#0);"
:one-liner nil))
(otherwise
`(ffi:c-inline
((typep ,value ',type) ',type ,value)
(:bool :object :object) :void
"if (ecl_unlikely(!(#0)))
FEwrong_type_argument(#1,#2);" :one-liner nil))))
(defmacro assert-type-if-known (value type &environment env)
"Generates a type check on an expression, ensuring that it is satisfied."
(multiple-value-bind (trivial valid)
@ -193,7 +167,7 @@
(t
(ext:with-clean-symbols (%value)
`(let* ((%value ,value))
,(type-error-check '%value (replace-invalid-types type))
,(simple-type-assertion '%value (replace-invalid-types type))
(ext:truly-the ,type %value)))))))
(defun replace-invalid-types (type)