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

Fixed the type of unsafe-car and unsafe-cdr.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-17 14:09:07 -04:00
parent 07c1f1e94f
commit b39f686e7e
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/private/base-env.rkt
View File

@ -804,10 +804,13 @@
[unsafe-vector*-length (-poly (a) ((-vec a) . -> . -Nat))] [unsafe-vector*-length (-poly (a) ((-vec a) . -> . -Nat))]
[unsafe-car (-poly (a b) [unsafe-car (-poly (a b)
(cl->* (cl->*
(->acc (list (-pair a b)) a (list -car))))] (->acc (list (-pair a b)) a (list -car))
(->* (list (-lst a)) a)))]
[unsafe-cdr (-poly (a b) [unsafe-cdr (-poly (a b)
(cl->* (cl->*
(->acc (list (-pair a b)) b (list -cdr))))] (->acc (list (-pair a b)) b (list -cdr))
(->* (list (-lst a)) (-lst a))))]
;; scheme/vector ;; scheme/vector
[vector-count (-polydots (a b) [vector-count (-polydots (a b)