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

some more sensible grouping of similar functions

Browse Source 
svn: r12009

original commit: 86d70f52d8a09e9654be57be0e52cc74be8fa486
This commit is contained in:
Eli Barzilay 2008-10-13 15:42:19 +00:00
parent cd157e5175
commit 279939d40b
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -294,8 +294,10 @@
[list->vector (-poly (a) (-> (-lst a) (-vec a)))]
[exact? (N . -> . B)]
[inexact? (N . -> . B)]
[exact->inexact (N . -> . N)]
[inexact->exact (N . -> . N)]
[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
[vector (-poly (a) (->* (list) a (-vec a)))]
[real? (Univ . -> . B)]
[real-part (N . -> . N)]
[imag-part (N . -> . N)]
@ -303,10 +305,11 @@
[angle (N . -> . N)]
[numerator (N . -> . -Integer)]
[denominator (N . -> . -Integer)]
[exact->inexact (N . -> . N)]
[inexact->exact (N . -> . N)]
[make-string (cl-> [(N) -String] [(N -Char) -String])]
[arithmetic-shift (-Integer -Integer . -> . -Integer)]
[vector (-poly (a) (->* (list) a (-vec a)))]
[make-string (cl-> [(N) -String] [(N -Char) -String])]
[abs (N . -> . N)]
[substring (cl-> [(-String N) -String]
[(-String N N) -String])]