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

Fix types for flmin and flmax.

Browse Source 
flmin and flmax only take two arguments.
This commit is contained in:
Eric Dobson 2015-04-09 23:55:26 -07:00
parent 848b69b73d
commit 142b52918c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -531,13 +531,13 @@
(comp -Fl))))
(define flmin-type
(fl-type-lambda
(from-cases (commutative-case -NegFl -Fl)
(commutative-case -NonPosFl -Fl)
(from-cases (commutative-binop -Fl -NegFl)
(commutative-binop -Fl -NonPosFl)
(map binop (list -PosFl -NonNegFl -Fl)))))
(define flmax-type
(fl-type-lambda
(from-cases (commutative-case -PosFl -Fl)
(commutative-case -NonNegFl -Fl)
(from-cases (commutative-binop -Fl -PosFl)
(commutative-binop -Fl -NonNegFl)
(map binop (list -NegFl -NonPosFl -Fl)))))
(define flround-type ; truncate too
(fl-type-lambda