suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove unsafety altogether.

Browse Source 
The bytecode optimizer can do the same transformation.
This commit is contained in:
Vincent St-Amour 2015-11-03 20:11:46 -06:00
parent 2881cffdc2
commit 2e100bcb33
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typed-racket-lib/typed-racket/types/current-seen.rkt
View File

@ -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)))))