Subject: Re: declaim? proclaim? From: Erik Naggum <erik@naggum.net> Date: Mon, 18 Feb 2002 15:36:42 GMT Newsgroups: comp.lang.lisp Message-ID: <3223035405814028@naggum.net> * Tim Bradshaw <tfb@cley.com> | yes, this is obviously correct, I think (so I was indeed confused, and | wrong). *FOO* isn't bound at compile time then the declaration says that | if it *becomes* bound that binding will have a certain type (this is | horribly imprecise terminology). I think what it says is that every reference to that variable has the right to assume that it read as if (the fixnum *foo*). *foo* need not be bound for this to compile, either. /// -- In a fight against something, the fight has value, victory has none. In a fight for something, the fight is a loss, victory merely relief.