diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-04-30 01:11:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-04-30 01:11:28 +0000 |
| commit | 7bd660a8c61540adcd0998122d89b3692cd127f8 (patch) | |
| tree | 85798a09df87e356b00b70d32b50c211ad861393 /src/algebra/sex.spad.pamphlet | |
| parent | dfbb70cec6fb995540fcfbaf1311b4e5a5858677 (diff) | |
| download | open-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/sex.spad.pamphlet')
| -rw-r--r-- | src/algebra/sex.spad.pamphlet | 7 |
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 % |