suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typed Racket reference: use #:indirect to fix some docs

Browse Source 
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
This commit is contained in:
Matthew Flatt 2013-09-19 11:14:09 -05:00
parent deaf4861c2
commit 1cbbe0d029
1 changed files with 29 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
View File

@ -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}