From 1cbbe0d0293888b43208227d7bcea8cfa97738a4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 19 Sep 2013 11:14:09 -0500 Subject: [PATCH] Typed Racket reference: use `#:indirect` to fix some docs Also, use `#:no-declare` to fix some module declarations that are all in the same section. (If bindings were defined in the modules, then they'd need to be in different section, but the section titles could be hidden to make them look like they're all in the same section.) original commit: 39a0c3b492d46baed04e2205c0604cf8c4d4967b --- .../scribblings/reference/libraries.scrbl | 54 ++++++++++--------- 1 file changed, 29 insertions(+), 25 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl index 6b87aa3b..24dd8c4c 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl @@ -44,36 +44,40 @@ Other libraries can be used with Typed Racket via The following libraries are included with Typed Racket in the @racketfont{typed} collection: +@(define-syntax-rule @defmodule/incl[name] + @defmodule[name #:no-declare]) + @;; framework and mred left out until support for classes @;; is more complete -@defmodule[typed/file] -@defmodule[typed/net/base64] -@defmodule[typed/net/cgi] -@defmodule[typed/net/cookie] -@defmodule[typed/net/dns] -@defmodule[typed/net/ftp] -@defmodule[typed/net/gifwrite] -@defmodule[typed/net/head] -@defmodule[typed/net/imap] -@defmodule[typed/net/mime] -@defmodule[typed/net/nntp] -@defmodule[typed/net/pop3] -@defmodule[typed/net/qp] -@defmodule[typed/net/sendmail] -@defmodule[typed/net/sendurl] -@defmodule[typed/net/smtp] -@defmodule[typed/net/uri-codec] -@defmodule[typed/net/url] -@defmodule[typed/rackunit] -@defmodule[typed/srfi/14] +@defmodule/incl[typed/file] +@defmodule/incl[typed/net/base64] +@defmodule/incl[typed/net/cgi] +@defmodule/incl[typed/net/cookie] +@defmodule/incl[typed/net/dns] +@defmodule/incl[typed/net/ftp] +@defmodule/incl[typed/net/gifwrite] +@defmodule/incl[typed/net/head] +@defmodule/incl[typed/net/imap] +@defmodule/incl[typed/net/mime] +@defmodule/incl[typed/net/nntp] +@defmodule/incl[typed/net/pop3] +@defmodule/incl[typed/net/qp] +@defmodule/incl[typed/net/sendmail] +@defmodule/incl[typed/net/sendurl] +@defmodule/incl[typed/net/smtp] +@defmodule/incl[typed/net/uri-codec] +@defmodule/incl[typed/net/url] +@defmodule/incl[typed/rackunit] +@defmodule/incl[typed/srfi/14] -@; FIXME -- once we can reference these without causing a dependency problem +Other libraries included in the main distribution that are either +written in Typed Racket or have adapter modules that are typed: -@;Other libraries included in the main distribution that are either -@;written in Typed Racket or have adapter modules that are typed: +@(define-syntax-rule @defmodule/also[name] + @defmodule[name #:no-declare #:link-target? #f #:indirect]) -@;@defmodule[math #:no-declare #:link-target? #f] -@;@defmodule[plot/typed #:no-declare #:link-target? #f] +@defmodule/also[math] +@defmodule/also[plot/typed] @section{Porting Untyped Modules to Typed Racket}