aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-04-30 01:11:28 +0000
committerdos-reis <gdr@axiomatics.org>2012-04-30 01:11:28 +0000
commit7bd660a8c61540adcd0998122d89b3692cd127f8 (patch)
tree85798a09df87e356b00b70d32b50c211ad861393 /src/algebra
parentdfbb70cec6fb995540fcfbaf1311b4e5a5858677 (diff)
downloadopen-axiom-7bd660a8c61540adcd0998122d89b3692cd127f8.tar.gz
* lisp/core.lisp.in (fixnum?): New.
* algebra/sex.spad.pamphlet: Use %float? instead of RNUM. Use %integer? instead of INTP. * interp/g-timer.boot: Use float? instead of RNUMP. * interp/i-coerce.boot: Use fixnum? instead of SINTP or SMINTP. * interp/i-intern.boot: Likewise. * interp/lisp-backend.boot: Likewise. * interp/slam.boot: Likewise. * interp/trace.boot: Likewise. * interp/vmlisp.lisp: Likewise. (INTP): Remove. (BINTP): Likewise. (LESSP): Likewise. (LINTP): Likewise. (MAKESTRING): Likewise. (MAPELT): Likewise. (NUMP): Likewise. (RNUMP): Likewise. (SINTP): Likewise. (SMINTP): Likewise.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/sex.spad.pamphlet7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet
index cf7d13fb..7348c933 100644
--- a/src/algebra/sex.spad.pamphlet
+++ b/src/algebra/sex.spad.pamphlet
@@ -95,6 +95,7 @@ SExpressionOf(Str, Sym, Int, Flt, Expr): Decl == Body where
Body ==> add
import %integer?: % -> Boolean from Foreign Builtin
+ import %float?: % -> Boolean from Foreign Builtin
import %string?: % -> Boolean from Foreign Builtin
import %ident?: % -> Boolean from Foreign Builtin
import %pair?: % -> Boolean from Foreign Builtin
@@ -133,13 +134,13 @@ SExpressionOf(Str, Sym, Int, Flt, Expr): Decl == Body where
string? b == %string? b
symbol? b == %ident? b
integer? b == %integer? b
- float? b == RNUMP(b)$Lisp
+ float? b == %float? b
destruct b == (list? b => b pretend List %; error "Non-list")
string b == (%string? b => b pretend Str; error "Non-string")
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")
+ float b == (%float? b => b pretend Flt;error "Non-float")
+ integer b == (%integer? b => b pretend Int;error "Non-integer")
expr b == b pretend Expr
convert(l: List %) == l pretend %