From 142b52918c0290e865aa4255c6ff251c13b4e2f3 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 23:55:26 -0700 Subject: [PATCH] Fix types for flmin and flmax. flmin and flmax only take two arguments. --- .../typed-racket/base-env/base-env-numeric.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index e8414746..252c1ad9 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -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