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

Rewrite DOTIMES to adapt to the new type checking scheme.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2011-12-28 20:50:32 +01:00
parent d5fd199116
commit 857677f1ca
1 changed files with 13 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

23
src/cmp/cmpopt-type.lsp
View file

@ -18,18 +18,21 @@
(multiple-value-bind (declarations body)
(si:process-declarations body nil)
(ext:with-unique-names (%limit)
(setf body `(si::while (< ,variable ,%limit)
,@body
(setq ,variable (1+ ,variable))))
`(block nil
(let ((,%limit ,limit))
(declare (:read-only ,%limit))
(ext:compiler-typecase ,%limit
(fixnum (let ((,variable 0))
(declare (fixnum ,variable)
,@declarations)
,body))
(t (let ((,variable 0))
(declare ,@declarations)
,body)))
(fixnum
(let ((,variable 0))
(declare (fixnum ,variable)
,@declarations)
(si::while (< ,variable ,%limit)
,@body
(setq ,variable (the fixnum (1+ ,variable))))))
(t
(let ((,variable 0))
(declare ,@declarations)
(si::while (< ,variable ,%limit)
,@body
(setq ,variable (1+ ,variable))))))
,@output)))))