From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!news2.kpn.net!news.kpn.net!nslave.kpnqwest.net!nloc1.kpnqwest.net!nloc.kpnqwest.net!nmaster.kpnqwest.net!nreader1.kpnqwest.net.POSTED!not-for-mail Newsgroups: comp.lang.lisp Subject: Re: declaim? proclaim? References: <3c6f305e$1_4@news2.uncensored-news.com> <3c702607$1_7@news4.uncensored-news.com> <87eljju3yr.fsf@orion.bln.pmsf.de> <3223022793121740@naggum.net> Mail-Copies-To: never From: Erik Naggum Message-ID: <3223035405814028@naggum.net> Organization: Naggum Software, Oslo, Norway Lines: 14 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 18 Feb 2002 15:36:42 GMT X-Complaints-To: newsmaster@KPNQwest.no X-Trace: nreader1.kpnqwest.net 1014046602 193.71.199.50 (Mon, 18 Feb 2002 16:36:42 MET) NNTP-Posting-Date: Mon, 18 Feb 2002 16:36:42 MET Xref: archiver1.google.com comp.lang.lisp:26766 * Tim Bradshaw | 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.