diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-03 19:30:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-03 19:30:55 +0000 |
commit | b043245231dca601a9a11ae6ddf4e89cc97c3d6c (patch) | |
tree | 181018fb7d75ccc6a75371183d427d2de2a51b9e /src/interp/functor.boot | |
parent | 745f748d953fa9121b383b02a74970d4baa3473a (diff) | |
download | open-axiom-b043245231dca601a9a11ae6ddf4e89cc97c3d6c.tar.gz |
* interp/buildom.boot: Cleanup.
* interp/c-util.boot ($SetCategory): New constant.
* interp/compiler.boot: Use it.
* interp/functor.boot: Likewise.
Diffstat (limited to 'src/interp/functor.boot')
-rw-r--r-- | src/interp/functor.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index f49dce21..b18b7ce6 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -197,10 +197,10 @@ compCategories u == error ['"compCategories: need an atom in operator position", first u] first u = "Record" => -- There is no modemap property for these guys so do it by hand. - [first u, :[[":", a.1, compCategories1(a.2,'(SetCategory))] for a in rest u]] + [first u, :[[":", a.1, compCategories1(a.2,$SetCategory)] for a in rest u]] first u = "Union" or first u = "Mapping" => -- There is no modemap property for these guys so do it by hand. - [first u, :[compCategories1(a,'(SetCategory)) for a in rest u]] + [first u, :[compCategories1(a,$SetCategory) for a in rest u]] u is ['SubDomain,D,.] => compCategories D v:=get(first u,'modemap,$e) atom v => |