Get documentation building again.
This commit is contained in:
parent
ba4ccd5896
commit
640f395bec
|
@ -2,10 +2,6 @@
|
||||||
@require[racket/include]
|
@require[racket/include]
|
||||||
@include{prelude.inc}
|
@include{prelude.inc}
|
||||||
|
|
||||||
@require[(for-label (except-in marketplace/sugar-untyped transition/no-state)
|
|
||||||
(only-in marketplace/drivers/tcp-bare tcp)
|
|
||||||
(except-in marketplace/sugar-typed ?))]
|
|
||||||
|
|
||||||
@title[#:tag "high-level-interface"]{High-level interface}
|
@title[#:tag "high-level-interface"]{High-level interface}
|
||||||
|
|
||||||
@declare-exporting[#:use-sources (marketplace/sugar-values
|
@declare-exporting[#:use-sources (marketplace/sugar-values
|
||||||
|
|
|
@ -11,9 +11,22 @@
|
||||||
(for-syntax racket)
|
(for-syntax racket)
|
||||||
(for-label typed/racket/base))
|
(for-label typed/racket/base))
|
||||||
|
|
||||||
(require (for-label (except-in marketplace/sugar-untyped transition/no-state)
|
(require (for-label (only-in marketplace/drivers/tcp-bare tcp)
|
||||||
(only-in marketplace/drivers/tcp-bare tcp)
|
(except-in marketplace/sugar-untyped
|
||||||
(except-in marketplace/sugar-typed ?)))
|
name-endpoint
|
||||||
|
name-process
|
||||||
|
transition/no-state)
|
||||||
|
(except-in marketplace/sugar-typed
|
||||||
|
?
|
||||||
|
let-fresh
|
||||||
|
match-state
|
||||||
|
match-orientation
|
||||||
|
match-conversation
|
||||||
|
match-interest-type
|
||||||
|
match-reason
|
||||||
|
on-presence
|
||||||
|
on-absence
|
||||||
|
on-message)))
|
||||||
|
|
||||||
;; TODO: make it display "=" instead of ":" connecting the defined
|
;; TODO: make it display "=" instead of ":" connecting the defined
|
||||||
;; type to the definition.
|
;; type to the definition.
|
||||||
|
|
Loading…
Reference in New Issue