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

Readd more specific types for + - *

Browse Source 
svn: r9613

original commit: 37d107b737063bb65a91522f05e13b061866bd4c
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-02 23:46:17 +00:00
parent 9e1c812b06
commit 94782bd566
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -186,10 +186,10 @@
(<= (->* (list N N) N B))
[> (->* (list N) N B)]
(zero? (N . -> . B))
(* (cl->* #;(->* '() -Integer -Integer) (->* '() N N)))
(* (cl->* (->* '() -Integer -Integer) (->* '() N N)))
(/ (cl->* (->* (list N) N N)))
(+ (cl->* #;(->* '() -Integer -Integer) (->* '() N N)))
(- (cl->* #;(->* (list -Integer) -Integer -Integer) (->* (list N) N N)))
(+ (cl->* (->* '() -Integer -Integer) (->* '() N N)))
(- (cl->* (->* (list -Integer) -Integer -Integer) (->* (list N) N N)))
(max (->* (list N) N N))
(min (->* (list N) N N))
[values (make-Poly '(a) (-> (-v a) (-v a)))]