From affd3ca340a1c1057bf8ef859006792b697ab044 Mon Sep 17 00:00:00 2001 From: NoahStoryM Date: Mon, 8 Nov 2021 15:44:04 +0800 Subject: [PATCH] Fix the definition of `defmodule/incl`. --- .../typed-racket/scribblings/reference/libraries.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl index ebb47a50f..da05f93ca 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl @@ -52,10 +52,10 @@ The following libraries are included with Typed Racket in the @racketfont{typed} collection: @(define-syntax-rule @defmodule/incl[name rest ...] - (list - (section #:style '(hidden toc-hidden unnumbered) - (string-append "Typed for " (symbol->string 'name))) - @defmodule[name rest ...])) + (begin + (section #:style '(hidden toc-hidden unnumbered) + (string-append "Typed for " (symbol->string 'name))) + @defmodule[name rest ...])) @(define-syntax-rule (deftype name . parts) (defidform #:kind "type" name . parts))