From: Alexey D. <ade...@co...> - 2004-07-22 15:27:11
|
Marco Antoniotti <ma...@cs...> writes: > my 0.2 EU are that I am more interested in actually typechecking > programs per se. So I would suggest to work in that direction. E.g. > > (defclass foo () ((bar :accessor bar :type symbol))) > > (let ((x (bar *some-foo*))) > (declare (type fixnum x)) > .... > ) > > Should make the compiler complain. Let's consider a somewhat more complex example: (defclass foo () ((bar :type fixnum))) (defun fee (x) (1+ (the double-float (slot-value (the foo x) 'bar)))) (defclass foo () ((bar :type double-float))) I agree that a complain for FEE would be good, but what should (FEE <some-foo>) do? -- Regards, Alexey Dejneka "Alas, the spheres of truth are less transparent than those of illusion." -- L.E.J. Brouwer |