diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt index b463381f..a98c7640 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt @@ -16,6 +16,7 @@ "pict-lib" "typed-racket-lib" "typed-racket-compatibility" + "typed-racket-more" "racket-doc")) (define deps '("base")) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/utilities.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/utilities.scrbl index ca915843..5dbefcf9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/utilities.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/utilities.scrbl @@ -105,7 +105,7 @@ with language @racketmodname[typed/racket/base]. Identifiers used in @racket[subtype] expressions must be either in Typed Racket's base type environment (e.g. @racket[Integer] and @racket[Listof]) or defined by an expression in the @racket[maybe-begin] form, which is spliced into the -submodule. For example, the @racketmodname[math/matrix] module imports and +submodule. For example, the @racketmodname[math/matrix #:indirect] module imports and reexports @racket[matrix-expt], which has a @racket[case->] type, for untyped use in this way: @racketblock[(provide matrix-expt)