aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sex.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-08-04 13:56:52 +0000
committerdos-reis <gdr@axiomatics.org>2011-08-04 13:56:52 +0000
commit9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch)
treedd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/algebra/sex.spad.pamphlet
parente77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff)
downloadopen-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz
cleanup
Diffstat (limited to 'src/algebra/sex.spad.pamphlet')
-rw-r--r--src/algebra/sex.spad.pamphlet5
1 files changed, 3 insertions, 2 deletions
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