From ... From: Erik Naggum Subject: Re: Type declarations Date: 2000/07/26 Message-ID: <3173634227884978@naggum.net>#1/1 X-Deja-AN: 651137398 References: <397F4D9E.ECF9ABC2@robotics.eecs.berkeley.edu> mail-copies-to: never Content-Type: text/plain; charset=us-ascii X-Complaints-To: newsmaster@eunet.no X-Trace: oslo-nntp.eunet.no 964645429 12129 195.0.192.66 (26 Jul 2000 21:03:49 GMT) Organization: Naggum Software; vox: +47 8800 8879; fax: +47 8800 8601; http://naggum.no; http://naggum.net User-Agent: Gnus/5.0803 (Gnus v5.8.3) Emacs/20.7 Mime-Version: 1.0 NNTP-Posting-Date: 26 Jul 2000 21:03:49 GMT Newsgroups: comp.lang.lisp * Tunc Simsek | Just couldn't figure this one out: | | When I declare (type (double-float (0.0d0)) x) | | it turns out that x has to be > 0.0d0. Can I declare to that x is also | allowed to be equal to 0.0d0? (double-float 0.0d0) #:Erik -- If this is not what you expected, please alter your expectations.