From d6ea92cf052ca5a8a8a88add347aefe78cb3303b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 18 Oct 2007 14:02:33 +0000
Subject: 	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.

---
 src/algebra/list.spad.pamphlet | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/algebra/list.spad.pamphlet')

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
-- 
cgit v1.2.3