diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
commit | 86a5494a7187d226750c7cf49ce2c6505ec87079 (patch) | |
tree | fe8a5b2fe2aad99bc87b88598918e2e316476e6a /src/algebra/any.spad.pamphlet | |
parent | cfda765b2e6342596df91ac9d4110f3fa95f5d75 (diff) | |
download | open-axiom-86a5494a7187d226750c7cf49ce2c6505ec87079.tar.gz |
cleanup
Diffstat (limited to 'src/algebra/any.spad.pamphlet')
-rw-r--r-- | src/algebra/any.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet index f2aa5bdb..4af9f557 100644 --- a/src/algebra/any.spad.pamphlet +++ b/src/algebra/any.spad.pamphlet @@ -191,9 +191,9 @@ Any(): SetCategory with otherwise => (rep(x).ob pretend SExpression)::OutputForm any(domain, object) == - (isValidType(domain)$Lisp)@Boolean => per [domain, object] - domain := devaluate(domain)$Lisp - (isValidType(domain)$Lisp)@Boolean => per [domain, object] + isValidType(domain)$Foreign(Builtin) => per [domain, object] + domain := devaluate(domain)$Foreign(Builtin) + isValidType(domain)$Foreign(Builtin) => per [domain, object] error "function any must have a domain as first argument" @ @@ -239,7 +239,7 @@ AnyFunctions1(S:Type): with == add import NoneFunctions1(S) - Sexpr:SExpression := devaluate(S)$Lisp + Sexpr:SExpression := devaluate(S)$Foreign(Builtin) coerce(s:S):Any == any(Sexpr, s::None) @@ -427,7 +427,7 @@ Scope(): Public == Private where nothing pushNewContour(b,s) == - CONS(LIST(b)$Lisp,s)$Lisp + %pair(%list(b)$Foreign(Builtin),s)$Foreign(Builtin) currentScope() == %head(_$e$Lisp)$Foreign(Builtin) |