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

Fix type of expt.

Browse Source 
Add expt to random testing.

Haven't seen one of those bugs in a while. Thank you Redex.

Closes PR14823.

original commit: 8b8130c38e211128f735a640f199213c80580f71
This commit is contained in:
Vincent St-Amour 2014-11-04 16:40:50 -05:00
parent a4a2ccacc3
commit dd7884fd49
3 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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)

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang typed/racket/base
(: f : Real → Real)
(define (f x)
(+ 1 (expt 1.0 x)))
(f 0)

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
View File

@ -141,6 +141,7 @@
(sinh E*)
(cosh E*)
(tanh E*)
(expt E* E*)
])
;; generated from: (map car (file->list "base-env-parts"))