From ad7cf3f5d7ae1735c80fb98616cd870b64c80fdd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 31 Jan 2011 23:30:54 +0000
Subject: 	* interp/g-opt.boot (optQSMINUS): Remove. 	*
 algebra/data.spad.pamphlet: Tidy. 	* algebra/plot.spad.pamphlet:
 Likewise. 	* algebra/plot3d.spad.pamphlet: Likewise. 	*
 algebra/si.spad.pamphlet: Likewise. 	* algebra/syntax.spad.pamphlet:
 Likewise. 	* algebra/list.spad.pamphlet: Remove use of NULL$Lisp.

---
 src/algebra/syntax.spad.pamphlet | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/algebra/syntax.spad.pamphlet')

diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index e676f343..c62ff29a 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -114,6 +114,8 @@ Syntax(): Public == Private where
       ++ x case String is true if `x' really is a String
 
   Private == add
+    import %nil: %                   from Foreign Builtin
+    import %peq: (%,%) -> Boolean    from Foreign Builtin
     import %integer?: % -> Boolean   from Foreign Builtin
     import %float?: % -> Boolean     from Foreign Builtin
     import %string?: % -> Boolean    from Foreign Builtin
@@ -209,7 +211,7 @@ Syntax(): Public == Private where
       %makepair(op,l)$Foreign(Builtin)
 
     nil? x ==
-      NULL(x)$Lisp
+      %peq(x,%nil)
 
     atom?(x: %): Boolean ==
       ATOM(x)$Lisp
-- 
cgit v1.2.3