diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-06 02:19:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-06 02:19:11 +0000 |
| commit | 2f2f19f2d1cd9fd580f8ec719a26473defabce8f (patch) | |
| tree | 7e46002c1bbfe07b97980a8ee2abeaddf10479ef /src/algebra | |
| parent | d2ca538c4cdb2eb5fb5c41722d19821cd40fda55 (diff) | |
| download | open-axiom-2f2f19f2d1cd9fd580f8ec719a26473defabce8f.tar.gz | |
* interp/define.boot: Use DB for current constructor.
(mkCategoryPackage): Category defaults are packages, not domains.
* interp/functor.boot (encodeFunctionName): Use current
constructor DB. First argument is now a DB. Adjust caller.
* algebra/domain.spad.pamphlet (DomainConstructo) [functorData]:
Use getInfovec.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 501d7b2a..dc9ea2f8 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -281,7 +281,7 @@ DomainConstructor(): Public == Private where ++ \spad{functorData x} returns the functor data associated ++ with the domain constructor \spad{x}. Private == Constructor add - functorData x == %property(x,'infovec)$Foreign(Builtin) + functorData x == getInfovec(x)$Foreign(Builtin) coerce(x: %): Constructor == rep x @ |