From dd7884fd4921c62ff7360e097c4ca5ac28b19659 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 4 Nov 2014 16:40:50 -0500 Subject: [PATCH] Fix type of expt. Add expt to random testing. Haven't seen one of those bugs in a while. Thank you Redex. Closes PR14823. original commit: 8b8130c38e211128f735a640f199213c80580f71 --- .../typed-racket/base-env/base-env-numeric.rkt | 2 +- .../tests/typed-racket/succeed/pr14823.rkt | 6 ++++++ .../tests/typed-racket/tr-random-testing.rkt | 1 + 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 17609040..062e166a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -1880,7 +1880,7 @@ (-PosRat -Int . -> . -PosRat) (-NonNegRat -Int . -> . -NonNegRat) (-Rat -Int . -> . -Rat) - (-PosFlonum -Real . -> . -PosFlonum) + (-PosFlonum (Un -PosReal -NegReal) . -> . -PosFlonum) (-PosReal -Flonum . -> . -PosFlonum) (-NonNegFlonum -Real . -> . -NonNegFlonum) (-NonNegReal -Flonum . -> . -NonNegFlonum) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt new file mode 100644 index 00000000..69337e4d --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt @@ -0,0 +1,6 @@ +#lang typed/racket/base + +(: f : Real → Real) +(define (f x) + (+ 1 (expt 1.0 x))) +(f 0) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt index 2daa8fc1..7e5a00b8 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt @@ -141,6 +141,7 @@ (sinh E*) (cosh E*) (tanh E*) + (expt E* E*) ]) ;; generated from: (map car (file->list "base-env-parts"))