From c48abf6dffa03a0874cdbb735147f0ca600ae608 Mon Sep 17 00:00:00 2001 From: Alexis King Date: Sat, 29 Aug 2015 16:41:10 -0700 Subject: [PATCH] Fix typo in generated contract for Nonpositive-Integer --- typed-racket-lib/typed-racket/private/type-contract.rkt | 2 +- typed-racket-test/succeed/integer-contracts.rkt | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 typed-racket-test/succeed/integer-contracts.rkt diff --git a/typed-racket-lib/typed-racket/private/type-contract.rkt b/typed-racket-lib/typed-racket/private/type-contract.rkt index c8fb942e..dba033a7 100644 --- a/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -788,7 +788,7 @@ (define positive-integer/sc (numeric/sc Positive-Integer (and/c exact-integer? positive?))) (define natural/sc (numeric/sc Natural exact-nonnegative-integer?)) (define negative-integer/sc (numeric/sc Negative-Integer (and/c exact-integer? negative?))) - (define nonpositive-integer/sc (numeric/sc Nonpositive-Integer (and/c exact-integer? nonpostive?))) + (define nonpositive-integer/sc (numeric/sc Nonpositive-Integer (and/c exact-integer? nonpositive?))) (define integer/sc (numeric/sc Integer exact-integer?)) (define positive-rational/sc (numeric/sc Positive-Rational (and/c t:exact-rational? positive?))) (define nonnegative-rational/sc (numeric/sc Nonnegative-Rational (and/c t:exact-rational? nonnegative?))) diff --git a/typed-racket-test/succeed/integer-contracts.rkt b/typed-racket-test/succeed/integer-contracts.rkt new file mode 100644 index 00000000..8a3a34df --- /dev/null +++ b/typed-racket-test/succeed/integer-contracts.rkt @@ -0,0 +1,7 @@ +#lang typed/racket/base + +(cast 2 Integer) +(cast 2 Positive-Integer) +(cast -2 Negative-Integer) +(cast 2 Nonnegative-Integer) +(cast -2 Nonpositive-Integer)