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

remove extra types that don't work with new infer

Browse Source 
svn: r9568

original commit: 767158c914add502a9d3d40d08e5cbc0089f437f
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-01 17:43:53 +00:00
parent 1a81b774bd
commit c0634d3236
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

@ -183,10 +183,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)))]