/[gcl]/gcl/lsp/gcl_predlib.lsp
ViewVC logotype

Diff of /gcl/lsp/gcl_predlib.lsp

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

revision 1.26 by camm, Fri Oct 7 22:00:24 2005 UTC revision 1.27 by camm, Wed Oct 12 03:12:57 2005 UTC
# Line 218  Line 218 
218                                                   (and (integerp (car xy))                                                   (and (integerp (car xy))
219                                                        (integerp (cadr xy))                                                        (integerp (cadr xy))
220                                                        (equal (car xy) (cadr xy)) (car xy))))                                                        (equal (car xy) (cadr xy)) (car xy))))
221                              (mapcar 'sequence-type-length-type-int (cdr type)))))))                              (mapcar 'sequence-type-length-type-int (cdr type))))))
222                        
223  (defun sequence-type-length-type (type)  (defun sequence-type-length-type (type)
224    (sequence-type-length-type-int (normalize-type-int type nil)))    (sequence-type-length-type-int (normalize-type-int type nil)))
# Line 398  Line 398 
398  (defun non-standard-base-char-p (x)  (defun non-standard-base-char-p (x)
399    (and (characterp x) (not (standard-char-p x))))    (and (characterp x) (not (standard-char-p x))))
400    
401    (defun proper-listp (x)
402      (and (listp x)
403           (do ((x x (cdr x))) ((not (consp x)) (not x)))))
404    
405    (deftype proper-list () `(satisfies proper-listp))
406    
407  (deftype extended-char () nil)  (deftype extended-char () nil)
408  (deftype base-char () `(or standard-char non-standard-base-char))  (deftype base-char () `(or standard-char non-standard-base-char))
409  (deftype character () `(or base-char extended-char))  (deftype character () `(or base-char extended-char))

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

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26