From d4a9052f52bc811c7b9ffa85a2057bcded8d3d62 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 11 Aug 2015 13:52:55 -0400 Subject: [PATCH] Fix outdated comment for redirect-contract --- typed-racket-lib/typed-racket/utils/redirect-contract.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/utils/redirect-contract.rkt b/typed-racket-lib/typed-racket/utils/redirect-contract.rkt index 984376e9..c68ac757 100644 --- a/typed-racket-lib/typed-racket/utils/redirect-contract.rkt +++ b/typed-racket-lib/typed-racket/utils/redirect-contract.rkt @@ -8,8 +8,9 @@ ;; protected on export from TR with contracts, but where the ;; contracted defintion is in the #%contract-defs submodule. -;; varref: a variable reference to the typed module that has the -;; appropriate submodule in it +;; contract-defs-submod-modidx: a module path index to the contract +;; defs submodule of the typed module +;; (using a module path index here makes it friendlier for 'raco exe') ;; id: the name of the export from the submodule which will be ;; redirected-to by the local-require