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

Add types for loop precondition checking functions. (#501)

Browse Source 
This is primarily intended for use on the `linklet` branch,
but does not cause problems in other contexts.
This commit is contained in:
Sam Tobin-Hochstadt 2017-02-24 00:33:47 +00:00 committed by GitHub
parent 294032c12e
commit b3ab93768f
1 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -98,6 +98,33 @@
(-> Univ -Int (seq-vals (list -Nat)))
(-> Univ (-seq a) (seq-vals (list a)))
(-> Univ (-seq a b) (seq-vals (list a b))))))]
;; check-range
[(make-template-identifier 'check-range 'racket/private/for)
(-> Univ Univ Univ -Void)]
;; check-naturals
[(make-template-identifier 'check-naturals 'racket/private/for)
(-> Univ -Void)]
;; check-string
[(make-template-identifier 'check-string 'racket/private/for)
(-> Univ -Void)]
;; check-bytes
[(make-template-identifier 'check-bytes 'racket/private/for)
(-> Univ -Void)]
;; check-list
[(make-template-identifier 'check-list 'racket/private/for)
(-> Univ -Void)]
;; check-fXvector for flvector
[(make-template-identifier 'check-flvector 'racket/flonum)
(-> Univ -Void)]
;; check-fXvector for fxvector
[(make-template-identifier 'check-fxvector 'racket/fixnum)
(-> Univ -Void)]
;; check-vector
[(make-template-identifier 'check-vector 'racket/private/for)
(-> Univ -Void)]
;; check-in-hash
[(make-template-identifier 'check-in-hash 'racket/private/for)
(-> Univ -Void)]
;; in-range
[(make-template-identifier 'in-range 'racket/private/for)
(cl->* (-> -Byte (-seq -Byte))