suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Fix the contracts on exec/commandline to match their behavior

Browse Source
This commit is contained in:
Alexis King 2020-01-02 12:32:45 -06:00
parent 0fd2444634
commit ed02550d1a
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scribble-doc/scribblings/scribble/manual.scrbl
View File

@ -1714,9 +1714,8 @@ Typesets the given combination of a GUI's menu and item name.}
@tech{decode}d @racket[pre-content] as a file name (e.g., in @tech{decode}d @racket[pre-content] as a file name (e.g., in
typewriter font and in quotes).} typewriter font and in quotes).}
@defproc[(exec [pre-content pre-content?] ...) element?]{Typesets the @defproc[(exec [content content?] ...) element?]{Typesets the
@tech{decode}d @racket[pre-content] as a command line (e.g., in @racket[content] as a command line (e.g., in typewriter font).}
typewriter font).}
@defproc[(envvar [pre-content pre-content?] ...) element?]{Typesets the given @defproc[(envvar [pre-content pre-content?] ...) element?]{Typesets the given
@tech{decode}d @racket[pre-content] as an environment variable (e.g., @tech{decode}d @racket[pre-content] as an environment variable (e.g.,
@ -2028,7 +2027,7 @@ that is hyperlinked to an explanation.}
@defthing[undefined-const element?]{Returns an element for @|undefined-const|.} @defthing[undefined-const element?]{Returns an element for @|undefined-const|.}
@defproc[(commandline [pre-content pre-content?] ...) paragraph?]{Produces @defproc[(commandline [content content?] ...) paragraph?]{Produces
an inset command-line example (e.g., in typewriter font).} an inset command-line example (e.g., in typewriter font).}
@defproc[(inset-flow [pre-flow pre-flow?] ...) nested-flow?]{ @defproc[(inset-flow [pre-flow pre-flow?] ...) nested-flow?]{

7
scribble-lib/scribble/private/manual-style.rkt
View File

@ -4,7 +4,7 @@
"../base.rkt" "../base.rkt"
(only-in "../basic.rkt" aux-elem itemize) (only-in "../basic.rkt" aux-elem itemize)
"../scheme.rkt" "../scheme.rkt"
(only-in "../core.rkt" make-style plain (only-in "../core.rkt" content? make-style plain
make-nested-flow nested-flow? box-mode box-mode* make-nested-flow nested-flow? box-mode box-mode*
[element? core:element?]) [element? core:element?])
"manual-utils.rkt" "manual-utils.rkt"
@ -31,7 +31,7 @@
(provide-styling racketmodfont racketoutput (provide-styling racketmodfont racketoutput
racketerror racketfont racketplainfont racketvalfont racketidfont racketvarfont racketerror racketfont racketplainfont racketvalfont racketidfont racketvarfont
racketcommentfont racketparenfont racketkeywordfont racketmetafont racketcommentfont racketparenfont racketkeywordfont racketmetafont
onscreen defterm filepath exec envvar Flag DFlag PFlag DPFlag math onscreen defterm filepath envvar Flag DFlag PFlag DPFlag math
procedure procedure
indexed-file indexed-envvar idefterm pidefterm) indexed-file indexed-envvar idefterm pidefterm)
(provide (provide
@ -59,7 +59,8 @@
[inset-flow (() () #:rest (listof pre-content?) . ->* . nested-flow?)] [inset-flow (() () #:rest (listof pre-content?) . ->* . nested-flow?)]
[litchar (() () #:rest (listof string?) . ->* . element?)] [litchar (() () #:rest (listof string?) . ->* . element?)]
[t (() () #:rest (listof pre-content?) . ->* . paragraph?)] [t (() () #:rest (listof pre-content?) . ->* . paragraph?)]
[commandline (() () #:rest (listof pre-content?) . ->* . paragraph?)] [exec (() () #:rest (listof content?) . ->* . element?)]
[commandline (() () #:rest (listof content?) . ->* . paragraph?)]
[menuitem (string? string? . -> . element?)]) [menuitem (string? string? . -> . element?)])
(define PLaneT (make-element "planetName" '("PLaneT"))) (define PLaneT (make-element "planetName" '("PLaneT")))