/[cmucl]/src/code/pred.lisp
ViewVC logotype

Diff of /src/code/pred.lisp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.25 by wlott, Sun Mar 8 18:31:58 1992 UTC revision 1.26 by wlott, Tue Apr 7 19:26:42 1992 UTC
# Line 17  Line 17 
17  ;;;  ;;;
18    
19  (in-package "EXTENSIONS")  (in-package "EXTENSIONS")
20  (export '(structurep fixnump bignump bitp ratiop realp weak-pointer-p))  (export '(structurep fixnump bignump bitp ratiop weak-pointer-p))
21    
22  (in-package "SYSTEM")  (in-package "SYSTEM")
23  (export '(system-area-pointer system-area-pointer-p))  (export '(system-area-pointer system-area-pointer-p))
# Line 28  Line 28 
28            floatp complexp characterp stringp bit-vector-p vectorp            floatp complexp characterp stringp bit-vector-p vectorp
29            simple-vector-p simple-string-p simple-bit-vector-p arrayp            simple-vector-p simple-string-p simple-bit-vector-p arrayp
30            functionp compiled-function-p commonp eq eql equal equalp not            functionp compiled-function-p commonp eq eql equal equalp not
31            type-of upgraded-array-element-type            type-of upgraded-array-element-type realp
32            ;; Names of types...            ;; Names of types...
33            array atom bignum bit bit-vector character common            array atom bignum bit bit-vector character common
34            compiled-function complex cons double-float            compiled-function complex cons double-float
# Line 250  Line 250 
250                   (double-float (typep object 'double-float))                   (double-float (typep object 'double-float))
251                   (long-float (typep object 'long-float))                   (long-float (typep object 'long-float))
252                   ((nil) (floatp num))))                   ((nil) (floatp num))))
253                ((nil) t)))                (nil t)))
254            (flet ((bound-test (val)            (flet ((bound-test (val)
255                               (let ((low (numeric-type-low type))                               (let ((low (numeric-type-low type))
256                                     (high (numeric-type-high type)))                                     (high (numeric-type-high type)))
# Line 264  Line 264 
264                ((nil) t)                ((nil) t)
265                (:complex                (:complex
266                 (and (complexp object)                 (and (complexp object)
267                      (let ((re (realpart object))                      (bound-test (realpart object))
268                            (im (imagpart object)))                      (bound-test (imagpart object))))
                       (and (bound-test (min re im))  
                            (bound-test (max re im))))))  
269                (:real                (:real
270                 (and (not (complexp object))                 (and (not (complexp object))
271                      (bound-test object)))))))                      (bound-test object)))))))

Legend:
Removed from v.1.25  
changed lines
  Added in v.1.26

  ViewVC Help
Powered by ViewVC 1.1.5