From 7dbbd56d47350219b97fc0ecacc9b9972d9bb4a3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 4 Feb 2013 11:43:57 -0500 Subject: [PATCH] Add extra tests for contract generation and float zeroes. original commit: ec0446728277c1dfecc88ee1affae8aefdeb3339 --- .../tests/typed-racket/succeed/pr13464.rkt | 65 ++++++++++++++++++- 1 file changed, 64 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-racket/succeed/pr13464.rkt b/collects/tests/typed-racket/succeed/pr13464.rkt index 3ee6c797..d29fe7a2 100644 --- a/collects/tests/typed-racket/succeed/pr13464.rkt +++ b/collects/tests/typed-racket/succeed/pr13464.rkt @@ -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