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

Improve more types.

Browse Source 
svn: r9705
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-06 22:05:57 +00:00
parent 7198eca987
commit 03d2cb7dd9
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/typed-scheme/private/base-env.ss
View File

@ -184,8 +184,8 @@
[values (make-Poly '(a) (-> (-v a) (-v a)))] [values (make-Poly '(a) (-> (-v a) (-v a)))]
[vector-ref [vector-ref
(make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-v a)))] (make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-v a)))]
[build-vector (-poly (a) (N (N . -> . a) . -> . (make-Vector a)))] [build-vector (-poly (a) (-Integer (-Integer . -> . a) . -> . (make-Vector a)))]
[build-list (-poly (a) (N (N . -> . a) . -> . (-lst a)))] [build-list (-poly (a) (-Integer (-Integer . -> . a) . -> . (-lst a)))]
[reverse (make-Poly '(a) (-> (make-lst (-v a)) (make-lst (-v a))))] [reverse (make-Poly '(a) (-> (make-lst (-v a)) (make-lst (-v a))))]
[append (-poly (a) (->* (list) (-lst a) (-lst a)))] [append (-poly (a) (->* (list) (-lst a) (-lst a)))]
[length (make-Poly '(a) (-> (make-lst (-v a)) -Integer))] [length (make-Poly '(a) (-> (make-lst (-v a)) -Integer))]
@ -246,7 +246,7 @@
[assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[list-ref (-poly (a) ((-lst a) N . -> . a))] [list-ref (-poly (a) ((-lst a) -Integer . -> . a))]
[positive? (-> N B)] [positive? (-> N B)]
[negative? (-> N B)] [negative? (-> N B)]
[odd? (-> N B)] [odd? (-> N B)]
@ -257,9 +257,9 @@
[call/cc (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))] [call/cc (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]
[call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))] [call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (*Un a b)))]
[quotient (N N . -> . N)] [quotient (-Integer -Integer . -> . -Integer)]
[remainder (N N . -> . N)] [remainder (-Integer -Integer . -> . -Integer)]
[quotient/remainder (N N . -> . (-values (list N N)))] [quotient/remainder (-Integer -Integer . -> . (-values (list -Integer -Integer)))]
;; parameter stuff ;; parameter stuff
@ -293,8 +293,8 @@
[number->string (N . -> . -String)] [number->string (N . -> . -String)]
[current-milliseconds (-> N)] [current-milliseconds (-> -Integer)]
[modulo (N N . -> . N)] [modulo (cl->* (-Integer -Integer . -> . -Integer))]
;; errors ;; errors
@ -313,7 +313,7 @@
[list->vector (-poly (a) (-> (-lst a) (make-Vector a)))] [list->vector (-poly (a) (-> (-lst a) (make-Vector a)))]
[exact? (N . -> . B)] [exact? (N . -> . B)]
[inexact? (N . -> . B)] [inexact? (N . -> . B)]
[expt (N N . -> . N)] [expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
[vector (-poly (a) (->* (list) a (make-Vector a)))] [vector (-poly (a) (->* (list) a (make-Vector a)))]
[real? (Univ . -> . B)] [real? (Univ . -> . B)]
[real-part (N . -> . N)] [real-part (N . -> . N)]