From ebd960de53d53820c99f40c64e415a5da97c610b Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 27 Jan 2022 21:10:59 +0100 Subject: [PATCH] utils.scrbl: Import the whole of typed/racket/base for-label. --- scribblings/utils.scrbl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 93435e4..91a9354 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -1,9 +1,6 @@ #lang scribble/manual @(require scribble/example racket/sandbox - (for-label racket/base graph (submod "../utils.rkt" typed) - (only-in typed/racket/base - Any AnyValues Listof Symbol String Number Sexp cast - Pair List ->))) + (for-label typed/racket/base graph (submod "../utils.rkt" typed))) @title[#:tag "utils"]{dds/utils: Various Utilities}