Fix problem with printing of SOS instances.

diff --git a/src/sos/instance.scm b/src/sos/instance.scm
index fba341f24985d7b1a7a43184167e833758e0d826..29fded5c7e9119a54b72e5b3c80c96fb19efb453 100644 (file)
--- a/src/sos/instance.scm
+++ b/src/sos/instance.scm
@@ -331,6 +331,7 @@ USA.
 (define (instance? object)
   (and (tagged-vector? object)
        (class-tag? (tagged-vector-tag object))))
+(register-predicate! instance? 'instance '<= tagged-vector?)
 
 (define (instance-class instance)
   (dispatch-tag->class (tagged-vector-tag instance)))

diff --git a/src/sos/tvector.scm b/src/sos/tvector.scm
index b77f2e8ddc4a0331221a8e6509881886eeef816f..46a034b6614efa4ba4b13e88a4caaffedc959029 100644 (file)
--- a/src/sos/tvector.scm
+++ b/src/sos/tvector.scm
@@ -44,6 +44,7 @@ USA.
 (define (tagged-vector? object)
   (and (%record? object)
        (dispatch-tag? (%record-ref object 0))))
+(register-predicate! tagged-vector? 'tagged-vector '<= %record?)
 
 (define (tagged-vector-tag vector)
   (guarantee-tagged-vector vector 'TAGGED-VECTOR-TAG)