diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
| commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
| tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/algebra | |
| parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
| download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz | |
cleanup
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/sex.spad.pamphlet | 5 |
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 |