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

contract-stronger: swap order of cases

Browse Source 
Check that the input to the default `contract-stronger?` is
 not an impersonator before calling `equal?` on it
This commit is contained in:
Ben Greenman 2017-10-02 02:11:49 -04:00
parent ed5911e531
commit c02d91d174
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/collects/racket/contract/private/prop.rkt
View File

@ -118,9 +118,9 @@
(define trail (make-parameter #f)) (define trail (make-parameter #f))
(define (contract-struct-stronger? a b) (define (contract-struct-stronger? a b)
(cond (cond
[(and (equal? a b) [(and (or (flat-contract-struct? a)
(or (flat-contract-struct? a) (chaperone-contract-struct? a))
(chaperone-contract-struct? a))) (equal? a b))
#t] #t]
[else [else
(define prop (contract-struct-property a)) (define prop (contract-struct-property a))