diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-18 14:02:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-18 14:02:33 +0000 |
commit | d6ea92cf052ca5a8a8a88add347aefe78cb3303b (patch) | |
tree | 1c921fd6ad4a9e229742f4150eaf1c32bf74944a /src/algebra/list.spad.pamphlet | |
parent | 3c643ccfe92e3fc3282a4701f70ce76b1199880e (diff) | |
download | open-axiom-d6ea92cf052ca5a8a8a88add347aefe78cb3303b.tar.gz |
Fix SF/1795259
* aggcat.spad.pamphlet (HomogeneousAggregate): Make
CoercibleTo(OutputForm) if argument is of that category.
(BinaryRecursiveAggregate): Weaken condition for coercion to
OutputForm.
(OneDimensionalArrayAggregate): Likewise.
(Tuple): Likewise.
(IndexedList): Likewise.
* tree.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
-rw-r--r-- | src/algebra/list.spad.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index d773bb61..3e485db6 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -97,7 +97,7 @@ IndexedList(S:Type, mn:Integer): Exports == Implementation where x := Qrest x (NREVERSE(y)$Lisp)@% - if S has SetCategory then + if S has CoercibleTo(OutputForm) then coerce(x):OutputForm == -- displays cycle with overbar over the cycle y := empty()$List(OutputForm) @@ -114,6 +114,7 @@ IndexedList(S:Type, mn:Integer): Exports == Implementation where z := concat((first x)::OutputForm, z) bracket concat_!(y, overbar commaSeparate reverse_! z) + if S has SetCategory then x = y == Qeq(x,y) => true while not Qnull x and not Qnull y repeat |