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

Add extra tests for contract generation and float zeroes.

Browse Source 
original commit: ec0446728277c1dfecc88ee1affae8aefdeb3339
This commit is contained in:
Vincent St-Amour 2013-02-04 11:43:57 -05:00
parent 3899a23a03
commit 7dbbd56d47
1 changed files with 64 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

65
collects/tests/typed-racket/succeed/pr13464.rkt
View File

@ -42,7 +42,50 @@
(define neg-real +nan.0)
(define pos-real +nan.0)
(define non-neg-real +nan.0)
(define non-pos-real +nan.0))
(define non-pos-real +nan.0)
;; extra tests for zeroes
(: non-neg-flonum+0 Nonnegative-Flonum)
(: non-pos-flonum+0 Nonpositive-Flonum)
(: non-neg-flonum-0 Nonnegative-Flonum)
(: non-pos-flonum-0 Nonpositive-Flonum)
(: non-neg-single-flonum+0 Nonnegative-Single-Flonum)
(: non-pos-single-flonum+0 Nonpositive-Single-Flonum)
(: non-neg-single-flonum-0 Nonnegative-Single-Flonum)
(: non-pos-single-flonum-0 Nonpositive-Single-Flonum)
(: non-neg-ineact-real+0 Nonnegative-Inexact-Real)
(: non-pos-ineact-real+0 Nonpositive-Inexact-Real)
(: non-neg-ineact-real-0 Nonnegative-Inexact-Real)
(: non-pos-ineact-real-0 Nonpositive-Inexact-Real)
(: non-neg-real+0 Nonnegative-Real)
(: non-pos-real+0 Nonpositive-Real)
(: non-neg-real-0 Nonnegative-Real)
(: non-pos-real-0 Nonpositive-Real)
(define non-neg-flonum+0 0.0)
(define non-pos-flonum+0 0.0)
(define non-neg-flonum-0 -0.0)
(define non-pos-flonum-0 -0.0)
(define non-neg-single-flonum+0 0.0f0)
(define non-pos-single-flonum+0 0.0f0)
(define non-neg-single-flonum-0 -0.0f0)
(define non-pos-single-flonum-0 -0.0f0)
(define non-neg-ineact-real+0 0.0)
(define non-pos-ineact-real+0 0.0)
(define non-neg-ineact-real-0 -0.0)
(define non-pos-ineact-real-0 -0.0)
(define non-neg-real+0 0.0)
(define non-pos-real+0 0.0)
(define non-neg-real-0 -0.0)
(define non-pos-real-0 -0.0)
)
(require 'defs)
@ -63,3 +106,23 @@ neg-real
pos-real
non-neg-real
non-pos-real
non-neg-flonum+0
non-pos-flonum+0
non-neg-flonum-0
non-pos-flonum-0
non-neg-single-flonum+0
non-pos-single-flonum+0
non-neg-single-flonum-0
non-pos-single-flonum-0
non-neg-ineact-real+0
non-pos-ineact-real+0
non-neg-ineact-real-0
non-pos-ineact-real-0
non-neg-real+0
non-pos-real+0
non-neg-real-0
non-pos-real-0