From 9a593e3b395c1ba0c6036760c12713d7485f8c54 Mon Sep 17 00:00:00 2001 From: dos-reis 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/sex.spad.pamphlet') 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