diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-31 14:14:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-31 14:14:08 +0000 |
| commit | 308c8ede509d3d186d6d43402b5335867ebdb49e (patch) | |
| tree | b2e5516092366985a775f609bb3033b7eede626f /src/algebra/domain.spad.pamphlet | |
| parent | 03c09deff90cb2eb7a85730f7e74bce2df268b47 (diff) | |
| download | open-axiom-308c8ede509d3d186d6d43402b5335867ebdb49e.tar.gz | |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,
QCAR. SYMBOLP, GREATERP.
Add %ibit, %ilength, %ident, %equal.
* interp/g-util.boot: Expand them
* algebra/any.spad.pamphlet: Tidy.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/data.spad.pamphlet: Likewise.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/fname.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/random.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/domain.spad.pamphlet')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index ee52d8a5..0351c3f3 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -52,8 +52,10 @@ FunctionDescriptor(): Public == Private where ++ \spad{signature(x)} returns the signature of function ++ described by \spad{x}. Private == add + import %equal: (%,%) -> Boolean from Foreign Builtin + signature x == %head(x)$Foreign(Builtin) - x = y == EQUAL(x,y)$Lisp + x = y == %equal(x,y) coerce x == (x : Syntax)::OutputForm @ @@ -165,8 +167,9 @@ ConstructorCall(C: ConstructorCategory): Public == Private where ++ arguments used to invoke the constructor. Private == add - import %head: % -> C from Foreign Builtin - import %tail: % -> List Syntax from Foreign Builtin + import %head: % -> C from Foreign Builtin + import %tail: % -> List Syntax from Foreign Builtin + import %equal: (%,%) -> Boolean from Foreign Builtin constructor x == %head x @@ -175,7 +178,7 @@ ConstructorCall(C: ConstructorCategory): Public == Private where %tail x x = y == - EQUAL(x,y)$Lisp + %equal(x,y) coerce(x: %): OutputForm == outputDomainConstructor(x)$Foreign(Builtin) @@ -247,6 +250,8 @@ FunctorData(): Public == Private where ++ \spad{lookupFunction x} returns the name of the lookup ++ function associated with the functor data \spad{x}. Private == add + import %equal: (%,%) -> Boolean from Foreign Builtin + domainTemplate x == %head(x)$Foreign(Builtin) attributeData x == CADDR(x)$Foreign(Builtin) @@ -256,7 +261,7 @@ FunctorData(): Public == Private where encodingDirectory x == CDDDR(part3Data x)$Foreign(Builtin) lookupFunction x == CADDDDR(x)$Foreign(Builtin) - x = y == EQUAL(x,y)$Foreign(Builtin) + x = y == %equal(x,y) coerce(x: %): OutputForm == import SExpression (x pretend SExpression)::OutputForm @@ -336,10 +341,12 @@ OperatorSignature(): Public == Private where ++ construct(op,sig) construct a signature-operator with ++ operator name `op', and signature `sig'. Private == add + import %equal: (%,%) -> Boolean from Foreign Builtin + construct(o,s) == LIST(o,s)$Lisp name x == %head(x)$Foreign(Builtin) signature x == CADR(x)$Lisp - x = y == EQUAL(x,y)$Lisp + x = y == %equal(x,y) arity x == (#source signature x)::Arity coerce(x: %): OutputForm == infix('_:::OutputForm, name(x)::OutputForm, @@ -354,7 +361,9 @@ OperatorSignature(): Public == Private where SystemPredicate(): Public == Private where Public == SetCategory Private == add - x = y == EQUAL(x,y)$Lisp + import %equal: (%,%) -> Boolean from Foreign Builtin + + x = y == %equal(x,y) coerce(x: %): OutputForm == %not(x)$Foreign(Builtin) => 'false::OutputForm %peq(x,'T)$Foreign(Builtin) => 'true::OutputForm |