From 13715775d26700ba8d0b3ccb2e29be7c2a60e869 Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Mon, 7 Jul 2008 21:30:45 +0200 Subject: Redefine CONSP, LISTP, and NULL as functions. --- list-functions.lisp | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/list-functions.lisp b/list-functions.lisp index c23f486..9593118 100644 --- a/list-functions.lisp +++ b/list-functions.lisp @@ -143,6 +143,26 @@ (sys::cons (first args) (second args))) +;;;;----------------------------------------------------------------- +;;;; TYPE PREDICATES +;;;;----------------------------------------------------------------- +(shadow '(consp listp null)) +(unexport '(sys::consp sys::listp sys::null) (find-package :sys)) + +(%defun consp args + (sys::consp (first args))) + +(%defun listp args + (sys::listp (first args))) + +(%defun null args + (sys::null (first args))) + +;(%deftype cons args '(satisfies consp)) +;(%deftype list args '(satisfies listp)) +;(%deftype null args '(satisfies null)) + + ;;;;----------------------------------------------------------------- (export '(cons car cdr list* first second third fourth fifth sixth - seventh eigthth ninth tenth)) + seventh eigthth ninth tenth consp listp null)) -- cgit v1.2.3