diff options
Diffstat (limited to 'src/interp/functor.boot')
| -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 |