mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-04-22 09:40:38 -07:00
Code Issues Projects Releases Packages Wiki Activity

type= thinks all subtypes of complex are the same. this breaks down the optimizer for coerce.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2008-10-26 20:21:34 +01:00
parent 8abfb0da7d
commit ec23122149
1 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/cmp/cmpopt.lsp
View file

@ -198,10 +198,6 @@
(base-char . (character x))
(character . (character x))
(function . (si::coerce-to-function x))
(complex .
(let ((y x))
(declare (:read-only y))
(complex (realpart y) (imagpart y))))
))
(defun expand-coerce (form value type env)
@ -237,6 +233,14 @@
when (eq type a-type)
do (return (subst value 'x template))))
;;
;; FIXME! COMPLEX cannot be in +coercion-table+ because
;; (type= '(complex) '(complex double-float)) == T
;;
((eq type 'COMPLEX)
`(let ((y ,value))
(declare (:read-only y))
(complex (realpart y) (imagpart y))))
;;
;; Complex types defined with DEFTYPE.
((and (atom type)
(get-sysprop type 'SI::DEFTYPE-DEFINITION)