From 2e100bcb3385a98b156cbef1c18208a15b6b7321 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 3 Nov 2015 20:11:46 -0600 Subject: [PATCH] Remove unsafety altogether. The bytecode optimizer can do the same transformation. --- typed-racket-lib/typed-racket/types/current-seen.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/types/current-seen.rkt b/typed-racket-lib/typed-racket/types/current-seen.rkt index 0b671243..2c952245 100644 --- a/typed-racket-lib/typed-racket/types/current-seen.rkt +++ b/typed-racket-lib/typed-racket/types/current-seen.rkt @@ -1,5 +1,5 @@ #lang racket/base -(require "../utils/utils.rkt" racket/unsafe/ops) +(require "../utils/utils.rkt") (require (rep type-rep) (contract-req)) (provide (except-out (all-defined-out) current-seen-mark)) @@ -24,5 +24,5 @@ A)) (define (seen? ss st cs) (for/or ([i (in-list cs)]) - (and (eq? ss (car i)) (eq? st (unsafe-cdr i))))) + (and (eq? ss (car i)) (eq? st (cdr i)))))