From 9a593e3b395c1ba0c6036760c12713d7485f8c54 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 4 Aug 2011 13:56:52 +0000
Subject: cleanup

---
 src/algebra/sex.spad.pamphlet | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet
index 2c0a019d..cf7d13fb 100644
--- a/src/algebra/sex.spad.pamphlet
+++ b/src/algebra/sex.spad.pamphlet
@@ -96,6 +96,7 @@ SExpressionOf(Str, Sym, Int, Flt, Expr): Decl == Body where
     Body ==> add
         import %integer?: % -> Boolean  from Foreign Builtin
         import %string?: % -> Boolean   from Foreign Builtin
+        import %ident?: % -> Boolean    from Foreign Builtin
         import %pair?: % -> Boolean     from Foreign Builtin
         import %peq: (%,%) -> Boolean   from Foreign Builtin
         import %head: % -> %            from Foreign Builtin
@@ -130,13 +131,13 @@ SExpressionOf(Str, Sym, Int, Flt, Expr): Decl == Body where
 
         list?    b   == pair? b or null? b
         string?  b   == %string? b
-        symbol?  b   == IDENTP(b)$Lisp
+        symbol?  b   == %ident? b
         integer? b   == %integer? b
         float?   b   == RNUMP(b)$Lisp
 
         destruct b == (list? b    => b pretend List %; error "Non-list")
         string b == (%string? b => b pretend Str; error "Non-string")
-        symbol b == (IDENTP(b)$Lisp => b pretend Sym;error "Non-symbol")
+        symbol b == (%ident? b => b pretend Sym;error "Non-symbol")
         float   b == (RNUMP(b)$Lisp  => b pretend Flt;error "Non-float")
         integer b == (INTP(b)$Lisp => b pretend Int;error "Non-integer")
         expr    b == b pretend Expr
-- 
cgit v1.2.3