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

Fix typo in generated contract for Nonpositive-Integer

Browse Source
This commit is contained in:
Alexis King 2015-08-29 16:41:10 -07:00
parent 584d01314e
commit c48abf6dff
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/private/type-contract.rkt
View File

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

7
typed-racket-test/succeed/integer-contracts.rkt Normal file
View File

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