[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

SUBTYPEP-TOO-VAGUE (initial draft)



   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