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

Finished fixing references (there are still a couple of errors, but less important).

Browse Source
This commit is contained in:
Georges Dupéron 2015-12-09 15:40:41 +01:00
parent 250f4e1137
commit 8a398ae5a3
4 changed files with 23 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
graph/graph/graph.lp2.rkt
View File

@ -425,7 +425,7 @@ those to the queue.
recursive-call)]
...)]
@subsection{TODO}
@subsection[#:tag "graph|TODO3"]{TODO}
We need to traverse the @tc[transformed] node (which is an incomplete node),
and find the link requests within. These link requests will be added to the
@ -576,7 +576,7 @@ from the incomplete type. We should work on the expanded type.
: (Listof (U transform/link-request ...))
#,(fold-type #'val val-type)))]
@subsubsection{TODO}
@subsubsection[#:tag "graph|TODO1"]{TODO}
Later, we will replace link requests with thunks returning the desired node,
wrapped in a promise in order to please occurrence typing. Below is the body of
@ -755,7 +755,7 @@ checker, unless it is absorbed by a larger type, like in
(stx-map fold-check-no-link-requests #'(t ...))]
[whole whole]))]
@section{TODO}
@section[#:tag "graph|TODO2"]{TODO}
@chunk[<multiassoc-syntax>
(define (multiassoc-syntax query alist)

2
graph/lib/low.rkt
View File

@ -935,8 +935,6 @@
[(_ (name param:typed-pat ...)
(~and (~seq ret ...) (~optional (~seq (~literal :) ret-type)))
. body)
(displayln #'(define (name param.var-type ...)
(match-let (param.expanded ... ...) ret ... . body)))
#'(define (name param.var-type ...)
(match-let (param.expanded ... ...) ret ... . body))]))

24
graph/make/make.rkt
View File

@ -112,16 +112,28 @@
"--dest" ,(build-path "docs/" (dirname file))
"+m"
"--redirect-main" "http://docs.racket-lang.org/"
"--info-out" ,(build-path "docs/" (path-append file ".sxref"))
"--info-out" ,(build-path "docs/" (path-append
(path-append file renderer)
".sxref"))
,@(append-map (λ ([f : Path-String]) : (Listof Path-String)
(let ([sxref (build-path "docs/"
(path-append f ".sxref"))])
(path-append
(path-append f renderer)
".sxref"))])
(if (file-exists? sxref)
(list "++info-in" sxref)
(list))))
(remove file all-files))
,file)))
(: scribble-all (→ (Listof Path) ScribbleRenderers Any))
(define (scribble-all files renderer)
;; TODO: compile everything twice, so that the cross-references are correct.
(for ([f (in-list files)])
(scribble f files renderer))
(for ([f (in-list files)])
(scribble f files renderer)))
;(make-collection "phc" rkt-files (argv))
;(make-collection "phc" '("graph/all-fields.rkt") #("zo"))
;(require/typed compiler/cm [managed-compile-zo
@ -159,14 +171,14 @@
[html html-files])
(html)
(scrbl-or-lp2)
;; TODO: compile twice, so that the cross-references are correct
(scribble scrbl-or-lp2 doc-sources "--html"))
#;(scribble (list scrbl-or-lp2) doc-sources "--html")
(scribble-all doc-sources "--html"))
(for/rules ([scrbl-or-lp2 doc-sources]
[pdf pdf-files])
(pdf)
(scrbl-or-lp2)
;; TODO: compile twice, so that the cross-references are correct
(scribble scrbl-or-lp2 doc-sources "--pdf"))
#;(scribble (list scrbl-or-lp2) doc-sources "--pdf")
(scribble-all doc-sources "--pdf"))
(for/rules ([mathjax-link mathjax-links])
(mathjax-link)
()

3
graph/type-expander/type-expander.lp2.rkt
View File

@ -19,7 +19,8 @@ type-expander itself.
@section{@racket[prop:type-expander]}
Match expanders are identified by the @tc[prop:type-expander]
@tech{structure type property}, which allows the same identifier to act as a
@tech[#:doc '(lib "scribblings/reference/reference.scrbl")]{structure type
property}, which allows the same identifier to act as a
@tc[prop:rename-transformer], @tc[prop:match-expander] and
@tc[prop:type-expander] for example.