Opened 11 years ago

Closed 10 years ago

#275 closed defect (fixed)

No wta warnings/errors on CAR/CDR with safety 3

Reported by: gz Owned by: gb
Priority: minor Milestone:
Component: ANSI CL Compliance Version:
Keywords: Cc:

Description

? (funcall #'(lambda () (locally (declare (optimize (safety 1))) (car 'a) t)))
;Compiler warnings :
;   In an anonymous lambda form: Error: "value A is not of the expected type LIST." 
;   signalled during compile-time evaluation of (CAR 'A) .
> Error: value A is not of the expected type LIST.
> While executing: CAR, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > :pop

? (funcall #'(lambda () (locally (declare (optimize (safety 3))) (car 'a) t)))
T
? 

Change History (2)

comment:1 Changed 11 years ago by rme

In the trunk, the second example at least signals a type error at runtime now.

Welcome to Clozure Common Lisp Version 1.2-r10780M-trunk  (DarwinX8664)!
? (funcall #'(lambda () (locally (declare (optimize (safety 3))) (car 'a) t)))
> Error: value A is not of the expected type LIST.
> While executing: CAR, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > 

comment:2 Changed 10 years ago by rme

  • Resolution set to fixed
  • Status changed from new to closed

This appears to work in the trunk now.

Note: See TracTickets for help on using tickets.