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

fix contract provide ordering bug

Browse Source
This commit is contained in:
Andrew Kent 2016-10-23 19:46:52 -04:00
parent a396880bda
commit 4bfebbda98
3 changed files with 21 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
typed-racket-lib/typed-racket/static-contracts/combinators/case-lambda.rkt
View File

@ -11,13 +11,6 @@
(for-template racket/base racket/contract/base)
(for-syntax racket/base syntax/parse))
(provide/cond-contract
[case->/sc ((listof arr-combinator?) . -> . static-contract?)]
[arr/sc (-> (listof static-contract?)
(or/c static-contract? #f)
(or/c (listof static-contract?) #f)
static-contract?)])
(provide case->/sc:
arr/sc:
(rename-out [arr-combinator? arr/sc?]))
@ -98,3 +91,11 @@
args
(if rest (list rest) empty)
(if range range empty))]))
(provide/cond-contract
[case->/sc ((listof arr-combinator?) . -> . static-contract?)]
[arr/sc (-> (listof static-contract?)
(or/c static-contract? #f)
(or/c (listof static-contract?) #f)
static-contract?)])

13
typed-racket-lib/typed-racket/static-contracts/constraints.rkt
View File

@ -59,12 +59,6 @@
contract-restrict-value
kind-max-max)
(provide/cond-contract
[exn:fail:constraint-failure? predicate/c]
[exn:fail:constraint-failure-reason (exn:fail:constraint-failure? . -> . string?)]
[validate-constraints (contract-restrict? . -> . void?)]
[add-constraint (contract-restrict? contract-kind? . -> . contract-restrict?)])
(module structs racket/base
(require "../utils/utils.rkt"
(contract-req)
@ -300,3 +294,10 @@
(current-continuation-marks)
(~a d)))]))
(provide/cond-contract
[exn:fail:constraint-failure? predicate/c]
[exn:fail:constraint-failure-reason (exn:fail:constraint-failure? . -> . string?)]
[validate-constraints (contract-restrict? . -> . void?)]
[add-constraint (contract-restrict? contract-kind? . -> . contract-restrict?)])

12
typed-racket-lib/typed-racket/static-contracts/kinds.rkt
View File

@ -8,12 +8,6 @@
(contract-req)
racket/match)
(provide/cond-contract
[contract-kind? predicate/c]
[contract-kind<= (contract-kind? contract-kind? . -> . boolean?)]
[kind->keyword (contract-kind? . -> . keyword?)]
[combine-kinds ((contract-kind?) #:rest (listof contract-kind?) . ->* . contract-kind?)])
(define (contract-kind? v)
(case v
((flat chaperone impersonator) #t)
@ -41,3 +35,9 @@
((flat) '#:flat)
((chaperone) '#:chaperone)
((impersonator) '#:impersonator)))
(provide/cond-contract
[contract-kind? predicate/c]
[contract-kind<= (contract-kind? contract-kind? . -> . boolean?)]
[kind->keyword (contract-kind? . -> . keyword?)]
[combine-kinds ((contract-kind?) #:rest (listof contract-kind?) . ->* . contract-kind?)])