Fixed requires

This commit is contained in:
Georges Dupéron 2016-06-17 18:31:54 +02:00
parent 4e99f8cf59
commit 076bd1a750
2 changed files with 7 additions and 6 deletions

View File

@ -8,7 +8,7 @@
"typed-racket-lib" "typed-racket-lib"
"typed-racket-more" "typed-racket-more"
"typed-racket-doc")) "typed-racket-doc"))
(define build-deps '("scribble-lib" "racket-doc")) (define build-deps '("scribble-lib" "racket-doc" "rackunit-doc"))
(define scribblings '(("scribblings/hyper-literate.scrbl" ()) (define scribblings '(("scribblings/hyper-literate.scrbl" ())
("test/test.hl.rkt" ()))) ("test/test.hl.rkt" ())))
(define pkg-desc "Description Here") (define pkg-desc "Description Here")

View File

@ -1,6 +1,7 @@
#lang hyper-literate/typed typed/racket/base #lang hyper-literate/typed typed/racket/base
@(require (for-label typed/racket/base)) @(require (for-label typed/racket/base
rackunit))
@title{Title} @title{Title}
@ -59,12 +60,12 @@ scribble complains some identifiers are loaded twice
for-label, since some identifiers have already been introduced for-label, since some identifiers have already been introduced
at meta-level 0 by @racketmodname[typed/racket]. at meta-level 0 by @racketmodname[typed/racket].
@chunk[<require-for-syntax> @chunk[<require-not-label>
(begin (require (for-syntax racket/base)))] (begin (require (for-syntax racket/base))
(require typed/rackunit))]
@chunk[<*> @chunk[<*>
<require-for-syntax> <require-not-label>
(require typed/rackunit)
<submod> <submod>
<req-multi> <req-multi>
<submod*> <submod*>