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.