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

special case the flat-contract? predicate to avoid having

Browse Source 
to create the whole contract struct for values that get coerced to flat contracts
This commit is contained in:
Robby Findler 2016-12-15 11:46:02 -06:00
parent 003e8c7870
commit 2b9d855231
1 changed files with 15 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
racket/collects/racket/contract/private/guts.rkt
View File

@ -108,10 +108,21 @@
(define (contract? x) (and (coerce-contract/f x) #t)) (define (contract? x) (and (coerce-contract/f x) #t))
(define (flat-contract? x) (define (flat-contract? x)
(let ([c (coerce-contract/f x)]) (or (and (procedure? x) (procedure-arity-includes? x 1))
(and c (null? x)
(flat-contract-struct? c)))) (boolean? x)
(symbol? x)
(keyword? x)
(char? x)
(bytes? x)
(string? x)
(number? x)
(regexp? x)
(byte-regexp? x)
(let ([c (coerce-contract/f x)])
(and c
(flat-contract-struct? c)))))
(define (chaperone-contract? x) (define (chaperone-contract? x)
(let ([c (coerce-contract/f x)]) (let ([c (coerce-contract/f x)])