diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-02 10:09:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-02 10:09:37 +0000 |
| commit | 2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (patch) | |
| tree | a993fb841dbecc560c217651a8504f23ed526481 /src/algebra/domain.spad.pamphlet | |
| parent | b9a4e3cd1880e977a827a98b1cb69175e7ad1e74 (diff) | |
| download | open-axiom-2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8.tar.gz | |
* interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before
value argument evaluation.
(lazyMatch): Check for %llength too.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit
and %2bool.
* interp/g-util.boot: Expand them.
* interp/define.boot (compJoin): Check for %llenght too.
* algebra/boolean.spad.pamphlet: Tidy.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/draw.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/domain.spad.pamphlet')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index f61d568f..ee52d8a5 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -108,10 +108,10 @@ ConstructorCategory(): Category == OperatorCategory Identifier with ++ exported by instantiations of constructor \spad{c}. ++ The operators are partitioned into overload sets. add - kind x == getConstructorKind(x)$Lisp - arity x == getConstructorArity(x)$Lisp - dualSignature x == getDualSignatureFromDB(x)$Lisp - operations x == getConstructorOperationsFromDB(x)$Lisp + kind x == getConstructorKind(x)$Foreign(Builtin) + arity x == getConstructorArity(x)$Foreign(Builtin) + dualSignature x == getDualSignatureFromDB(x)$Foreign(Builtin) + operations x == getConstructorOperationsFromDB(x)$Foreign(Builtin) @ @@ -133,10 +133,11 @@ Constructor(): ConstructorCategory with == add Rep == Identifier name x == rep x - kind x == getConstructorKind(x)$Lisp - arity x == getConstructorArity(x)$Lisp + kind x == getConstructorKind(x)$Foreign(Builtin) + arity x == getConstructorArity(x)$Foreign(Builtin) findConstructor s == - isConstructorName(s)$Lisp => just per(s pretend Identifier) + isConstructorName(s)$Foreign(Builtin) => + just per(s pretend Identifier) nothing @ @@ -177,7 +178,7 @@ ConstructorCall(C: ConstructorCategory): Public == Private where EQUAL(x,y)$Lisp coerce(x: %): OutputForm == - outputDomainConstructor(x)$Lisp + outputDomainConstructor(x)$Foreign(Builtin) @ |