Custom Query (1030 matches)
Results (172 - 174 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #612 | fixed | value doesn't match constraint :S32CONST in template for CCL::ADD-CONSTANT | ||
| Description |
Welcome to Clozure Common Lisp Version 1.4-dev-r13065M (LinuxX8664)!
? (LAMBDA (A B)
(DECLARE (OPTIMIZE (SAFETY 2) (SPEED 1)))
(+ (LOAD-TIME-VALUE -14930786 T) 1826522792 B))
> Error: 14612182336 : value doesn't match constraint :S32CONST in template for CCL::ADD-CONSTANT .
> While executing: CCL::MATCH-VREG, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
|
|||
| #660 | fixed | Bug in ASH with type declarations | ||
| Description |
Welcome to Clozure Common Lisp Version 1.5-dev-r13434M (LinuxX8632)! ? (funcall (lambda (x) (ash x -1000)) 2219369894) 0 ? (funcall (lambda (x) (declare (type (integer 100000 3391901519) x)) (ash x -1000)) 2219369894) 1 |
|||
| #708 | fixed | Incorrect arithmetic for LOGAND with type declarations | ||
| Description |
% openmcl Welcome to Clozure Common Lisp Version 1.6-dev-r14031M (LinuxX8664)! ? (defun one (B) (DECLARE (TYPE (INTEGER 51357426816569 68500595286128) B)) (LOGAND B -2)) ONE ? (defun two (B) (LOGAND B -2)) TWO ? (- (one 67660763903986) (two 67660763903986)) -63262717391456 |
|||
Note:
See TracQuery
for help on using queries.
