From 5a0f02ce8f0040acec58c1c94961968b00c4bb8c Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Wed, 30 Dec 2015 22:20:00 -0800 Subject: compCategories: Use DB parameter for current constructor's modemap. --- src/ChangeLog | 5 +++++ src/interp/functor.boot | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index a2fdd2b4..913696d1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2015-12-30 Gabriel Dos Reis + + * interp/functor.boot (compCategories): Use the DB parameter is + asking for modemaps of current constructor. + 2015-12-30 Gabriel Dos Reis * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove 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 -- cgit v1.2.3