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>
Fri, 4 Jan 2019 04:44:26 +0000 (23:44 -0500)
src/runtime/record.scm

index 1f3069fe288786dc31facee9f7a1d613b05e7cab..63110b90e82e92731141963df9f6d460033b69ac 100644 (file)
@@ -134,17 +134,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?)