diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
commit | 927875aade5720ec0e0cfbe741988011a604678f (patch) | |
tree | 27a1edd6e6d161a2b640380584440bc45d4ea621 /src/interp/showimp.boot | |
parent | 29e53d366bd313f432aa744b651875f97438586c (diff) | |
download | open-axiom-927875aade5720ec0e0cfbe741988011a604678f.tar.gz |
* interp/c-util.boot (categoryRef, domainRef, canonicalForm)
(instantiatorCtor, instantiatorArgs, categoryExports): New.
Diffstat (limited to 'src/interp/showimp.boot')
-rw-r--r-- | src/interp/showimp.boot | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/interp/showimp.boot b/src/interp/showimp.boot index 1b13836a..0b7cf13e 100644 --- a/src/interp/showimp.boot +++ b/src/interp/showimp.boot @@ -112,14 +112,12 @@ showFrom(D,:option) == -- Functions implementing showFrom --======================================================================= getDomainOps D == - domname := D.0 - conname := first domname + conname := insantiationCtor D $predicateList: local := getConstructorPredicatesFromDB conname removeDuplicates listSort(function GLESSEQP,ASSOCLEFT getDomainOpTable(D,nil)) getDomainSigs(D,:option) == - domname := D.0 - conname := first domname + conname := instantiationCtor D $predicateList: local := getConstructorPredicatesFromDB conname getDomainSigs1(D,first option) @@ -128,8 +126,7 @@ getDomainSigs1(D,ops) == listSort(function GLESSEQP,u) where | null ops or symbolMember?(first x,ops)] getDomainDocs(D,:option) == - domname := D.0 - conname := first domname + conname := instantiationCtor D $predicateList: local := getConstructorPredicatesFromDB conname ops := KAR option [[op,sig,:getInheritanceByDoc(D,op,sig)] for [op,sig] in getDomainSigs1(D,ops)] @@ -209,7 +206,7 @@ getDomainSeteltForm ['%store,.,form] == showPredicates dom == sayBrightly '"--------------------Predicate summary-------------------" - conname := vectorRef(dom,0).op + conname := instantiationCtor dom predvector := vectorRef(dom,3) predicateList := getConstructorPredicatesFromDB conname for i in 1.. for p in predicateList repeat @@ -220,7 +217,7 @@ showPredicates dom == showAttributes dom == sayBrightly '"--------------------Attribute summary-------------------" - conname := vectorRef(dom,0).op + conname := instantiationCtor dom abb := getConstructorAbbreviation conname predvector := vectorRef(dom,3) for [a,:p] in vectorRef(dom,2) repeat |