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

contract: use impersonator prop. for impersonator-unconstrained-domain->/c (#3055)

Browse Source 
rename the contract property from a chaperone prop to an impersonator
prop (looks like this was an old copy/paste error)
This commit is contained in:
Ben Greenman 2020-03-03 15:50:19 -05:00 committed by GitHub
parent 95b9f0e210
commit 258eee40ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt
View File

@ -85,4 +85,17 @@
'neg))
#t)
#t)
(test/spec-passed/result
'unconstrained/domain->/chaperone
'(chaperone-contract? (unconstrained-domain-> number?))
#t)
(test/spec-passed/result
'unconstrained/domain->/impersonator
'(let ((ctc (unconstrained-domain->
(recursive-contract number? #:impersonator))))
(and (impersonator-contract? ctc)
(not (chaperone-contract? ctc))))
#t)
)

4
racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt
View File

@ -120,8 +120,8 @@
(define-struct (impersonator-unconstrained-domain-> unconstrained-domain->) ()
#:property
prop:chaperone-contract
(build-chaperone-contract-property
prop:contract
(build-contract-property
#:trusted trust-me
#:name unconstrained-domain->-name
#:first-order unconstrained-domain->-first-order