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

more precise type for `max'

Browse Source 
original commit: 0f4db44be3cbc42e0546b7b61ad1b18156cf6607
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-08 11:59:54 -04:00
parent 36854b7150
commit f315f666d5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -89,7 +89,7 @@
(for/list ([t (list -ExactRational -Flonum -Real N)])
(->* (list t) t t)))]
[max (apply cl->* (for/list ([t all-num-types]) (->* (list t) t t)))]
[max (apply cl->* (->* (list -Pos) -Integer -Pos) (->* (list -Nat) -Integer -Nat) (for/list ([t all-num-types]) (->* (list t) t t)))]
[min (apply cl->* (for/list ([t all-num-types]) (->* (list t) t t)))]