[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
SUBTYPEP-TOO-VAGUE (initial draft)
- To: Rob.MacLachlan@wb1.cs.cmu.edu
- Subject: SUBTYPEP-TOO-VAGUE (initial draft)
- From: gls@Think.COM
- Date: Tue, 12 Jul 88 15:59:28 EDT
- Cc: edsel!eb@labrea.stanford.edu, sandra@cs.utah.edu, cl-cleanup@sail.stanford.edu
- In-reply-to: Rob.MacLachlan@wb1.cs.cmu.edu's message of Tue, 12 Jul 88 15:50:23 EDT <8807121858.AA09947@Think.COM>
Date: Tue, 12 Jul 88 15:50:23 EDT
From: Rob.MacLachlan@wb1.cs.cmu.edu
...
Any how many SUBTYPEPs correctly recognize that float types are finite?
(subtypep `(short-float 0s0 (,(* short-float-epsilon 4)))
`(member 0s0
,(* short-float-epsilon 1)
,(* short-float-epsilon 2)
,(* short-float-epsilon 3))) => T, T
I see your point, but SHORT-FLOAT-EPSILON is not the right quantity here.
--Guy