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

Avoid using unsafe structure access.

Browse Source 
Moral: a little temporary speed should never be bought at the cost of safety.

original commit: 492bda2305665445e429ad34db495f0e12d0e466
This commit is contained in:
Sam Tobin-Hochstadt 2013-01-24 23:01:18 -05:00
parent 96bb6af7c2
commit ae3a41a9ab
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/types/subtype.rkt
View File

@ -1,5 +1,5 @@
#lang racket/base
(require (except-in "../utils/utils.rkt" infer) racket/unsafe/ops
(require (except-in "../utils/utils.rkt" infer)
(rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils)
(types utils resolve base-abbrev numeric-tower substitute)
@ -49,7 +49,7 @@
;; type type -> boolean
(define/cond-contract (subtype s t)
(c:-> (c:or/c Type/c SomeValues/c) (c:or/c Type/c SomeValues/c) boolean?)
(define k (cons (unsafe-struct-ref s 0) (unsafe-struct-ref t 0)))
(define k (cons (Type-seq s) (Type-seq t)))
(define (new-val)
(define result (handle-failure (and (subtype* (current-seen) s t) #t)))
;(printf "subtype cache miss ~a ~a\n" s t)