diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 22:20:00 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 22:20:00 -0800 |
| commit | 5a0f02ce8f0040acec58c1c94961968b00c4bb8c (patch) | |
| tree | c3cc6f954b1df6e1e3bb05c01b191587c804e731 /src/interp | |
| parent | a5676cf9d45c089a1f247c54e5f43309ca7aa2e4 (diff) | |
| download | open-axiom-5a0f02ce8f0040acec58c1c94961968b00c4bb8c.tar.gz | |
compCategories: Use DB parameter for current constructor's modemap.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/functor.boot | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index d49e242f..9579defb 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -219,7 +219,9 @@ compCategories(db,u,e) == -- There is no modemap property for these guys so do it by hand. [u.op, :[compCategories1(db,a,$SetCategory,e) for a in u.args]] u is ['SubDomain,D,.] => compCategories(db,D,e) - v := get(u.op,'modemap,e) + v := + symbolEq?(u.op,dbConstructor db) => [dbConstructorModemap db] + get(u.op,'modemap,e) v isnt [.,:.] => error ['"compCategories: could not get proper modemap for operator",u.op] if rest v then |