From 258eee40ce6bb6e3702ccee5551345ea1dddee0b Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Tue, 3 Mar 2020 15:50:19 -0500 Subject: [PATCH] contract: use impersonator prop. for impersonator-unconstrained-domain->/c (#3055) rename the contract property from a chaperone prop to an impersonator prop (looks like this was an old copy/paste error) --- .../tests/racket/contract/unconstrained-domain.rkt | 13 +++++++++++++ .../contract/private/unconstrained-domain-arrow.rkt | 4 ++-- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt b/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt index 6a3960412d..8e78418aa9 100644 --- a/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt +++ b/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt @@ -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) ) diff --git a/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt b/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt index a44d096803..56878fafa2 100644 --- a/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt +++ b/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt @@ -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