From b52dbdcd5bd6e97b1fc78340fff3851772d74d4a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 20 May 2019 09:50:46 -0500 Subject: [PATCH] explain #:unprotected-submodule --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 306851d18e..f755ac000a 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -1855,6 +1855,12 @@ the values they accept and ensure that the exported functions are treated parametrically. See @racket[new-∃/c] and @racket[new-∀/c] for details on how the clauses hide the values. +If @racket[#:unprotected-submodule] appears, the identifier +that follows it is used as the name of a submodule that +@racket[contract-out] generates. The submodule exports all +of the names in the @racket[contract-out], but without +contracts. + The implementation of @racket[contract-out] uses @racket[syntax-property] to attach properties to the code it generates that records the syntax of the contracts in the fully expanded program.