Don't use general predicate relations for record predicates.
authorChris Hanson <org/chris-hanson/cph>
Fri, 4 Jan 2019 04:44:26 +0000 (23:44 -0500)
committerChris Hanson <org/chris-hanson/cph>
Sun, 6 Jan 2019 07:30:27 +0000 (23:30 -0800)
src/runtime/record.scm

index ad4e7cc3f2f189c736fb38404953303e17573ad7..969d900772c3778b407442e7089422e00d1f2ac2 100644 (file)
@@ -160,17 +160,11 @@ USA.
          ((%record-type-proxy? marker) (%proxy->record-type marker))
          (else #f))))
 
-;; Temporary definition for cold load.
 (define (%record-type<= t1 t2)
   (or (eq? t1 t2)
       (let ((parent (%record-type-parent t1)))
        (and parent
             (%record-type<= parent t2)))))
-
-(defer-boot-action 'predicate-relations
-  (lambda ()
-    (set! %record-type<= dispatch-tag<=)
-    unspecific))
 \f
 (define %record-metatag)
 (define record-type?)