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

Add random testing for complexes.

Browse Source 
Fix a bug it found.

original commit: 990fa87a2eba6b531557c623a4b5c5b4a893313b
This commit is contained in:
Vincent St-Amour 2013-03-19 16:59:31 -04:00
parent 4da3453cf5
commit e1a6cc3618
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/tr-random-testing.rkt
View File

@ -175,6 +175,8 @@
(sin E*)
(tan E*)
(sqr E*)
(make-rectangular E* E*)
(make-polar E* E*)
])
;; generated from: (map car (file->list "base-env-parts"))

5
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1610,8 +1610,9 @@
[round (round-type)]
[make-rectangular (cl->* (-Rat -Rat . -> . -ExactNumber)
(-Flonum -Real . -> . -FloatComplex)
(-Real -Flonum . -> . -FloatComplex)
(-Flonum -Flonum . -> . -FloatComplex)
(-Flonum (Un -PosReal -NegReal) . -> . -FloatComplex) ; no exact 0
((Un -PosReal -NegReal) -Flonum . -> . -FloatComplex)
(-SingleFlonum -SingleFlonum . -> . -SingleFlonumComplex)
(-InexactReal -InexactReal . -> . -InexactComplex)
(-Real -Real . -> . N))]