589 |
(cond (type (list 'the type symbol )) |
(cond (type (list 'the type symbol )) |
590 |
(t symbol))) |
(t symbol))) |
591 |
|
|
592 |
(defun type-error () |
(defun sloop-type-error () |
593 |
(error "While checking a bound of a sloop, I found the wrong type |
(error "While checking a bound of a sloop, I found the wrong type |
594 |
for something in sloop::*automatic-declarations*. |
for something in sloop::*automatic-declarations*. |
595 |
Perhaps your limit is wrong? |
Perhaps your limit is wrong? |
637 |
'the-value *type-test-limit*) |
'the-value *type-test-limit*) |
638 |
(or chk value)) |
(or chk value)) |
639 |
',type) |
',type) |
640 |
(type-error)) |
(sloop-type-error)) |
641 |
,(or chk value))))))) |
,(or chk value))))))) |
642 |
(t (list value)))) |
(t (list value)))) |
643 |
|
|
834 |
(or inc 1)))) |
(or inc 1)))) |
835 |
(t `(> ,var ,(+ most-negative-fixnum |
(t `(> ,var ,(+ most-negative-fixnum |
836 |
(or inc 1))))) |
(or inc 1))))) |
837 |
(type-error)) |
(sloop-type-error)) |
838 |
*loop-increment*) |
*loop-increment*) |
839 |
))))) |
))))) |
840 |
|
|