From f0151038cc990f1363c80f64b5621f36c6423c33 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 16 Jan 2025 11:52:46 -0500 Subject: [PATCH] Fix types of `asin` and `acos`. These can produce complex results for flonum inputs. Closes #1423. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 6 ++---- 1 file changed, 2 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 12b196935..d37fecc20 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 @@ -1739,12 +1739,10 @@ -FloatComplex -SingleFlonumComplex -InexactComplex N)))] [acos (from-cases (-One . -> . -Zero) (map unop - (list -Flonum -SingleFlonum -InexactReal -Real - -FloatComplex -SingleFlonumComplex -InexactComplex N)))] + (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))] [asin (from-cases (-Zero . -> . -One) (map unop - (list -Flonum -SingleFlonum -InexactReal -Real - -FloatComplex -SingleFlonumComplex -InexactComplex N)))] + (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))] [atan (from-cases (map unop (list -Zero -Flonum -SingleFlonum -InexactReal -Real -FloatComplex -SingleFlonumComplex -InexactComplex N))