Parent Directory | Revision Log | Patch
revision 1.1 by pfdietz, Sun May 29 13:32:49 2005 UTC | revision 1.2 by pfdietz, Sat Jun 4 17:35:43 2005 UTC | |
---|---|---|
# | Line 59 | Line 59 |
59 | collect (list x class form val)) | collect (list x class form val)) |
60 | nil) | nil) |
61 | ||
62 | ;;; Free TYPE declaration | |
63 | ;;; It should not apply to the occurence of X in the form | |
64 | ;;; whose value is being bound to Y. | |
65 | ||
66 | (deftest type.6 | |
67 | (let ((x 2)) | |
68 | (let ((y (+ (decf x) 2))) | |
69 | (declare (type (integer 0 1) x)) | |
70 | (values x y))) | |
71 | 1 3) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |