[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue: REAL-NUMBER-TYPE (version 1)
- To: cl-cleanup@SAIL.STANFORD.EDU
- Subject: Re: Issue: REAL-NUMBER-TYPE (version 1)
- From: "Steve Bacher (Batchman)" <SEB1525@draper.com>
- Date: Mon, 9 Jan 89 08:38 EST
Hold on. How should the following be handled:
(declare (type (real 3.1415926 71/7) x))
...or (typep x '(real 3.1415926 71/7))?
When the type determination is made, how is the coercion of x to be done?
Must x be coerced from rational to float, or from float to rational, in
order to do the type check? Should RATIONAL or RATIONALIZE be used? ETc.,