From ...
From: Erik Naggum <erik@naggum.net>
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 <simsek@robotics.eecs.berkeley.edu>
| 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.