;;; it second. These rules make it easier for the back end to match
;;; these interesting cases.
;;; -- If Y is a fixnum, then we quietly pass because the back end can
-;;; handle that case, otherwise give an efficency note.
+;;; handle that case, otherwise give an efficiency note.
(deftransform eql ((x y) * * :when :both)
"convert to simpler equality predicate"
(let ((x-type (continuation-type x))
(and (subtypep coerced-type 'integer)
(csubtypep value-type (specifier-type 'integer))))))
(process-types (type)
- ;; FIXME
+ ;; FIXME:
;; This needs some work because we should be able to derive
;; the resulting type better than just the type arg of
;; coerce. That is, if x is (integer 10 20), the (coerce x