fix guide typos
closes PR 10580
This commit is contained in:
parent
07db4277d1
commit
042402b023
|
@ -39,7 +39,7 @@ Mitchell and McKim's principles for design by contract DbC are derived
|
||||||
@item{@bold{For each command, write a post-condition contract that specifies the
|
@item{@bold{For each command, write a post-condition contract that specifies the
|
||||||
changes to the observable properties in terms of the basic queries.}}
|
changes to the observable properties in terms of the basic queries.}}
|
||||||
|
|
||||||
@item{@bold{For each query and command, decide on suitable
|
@item{@bold{For each query and command, decide on a suitable
|
||||||
pre-condition contract.}}]
|
pre-condition contract.}}]
|
||||||
|
|
||||||
Each of the following sections corresponds to a chapter in
|
Each of the following sections corresponds to a chapter in
|
||||||
|
|
|
@ -153,7 +153,7 @@ With a structure type definition like
|
||||||
]
|
]
|
||||||
|
|
||||||
an instance of the structure type prints in a way that does not show
|
an instance of the structure type prints in a way that does not show
|
||||||
any information about the fields values. That is, structure types by
|
any information about the fields' values. That is, structure types by
|
||||||
default are @deftech{opaque}. If the accessors and mutators of a
|
default are @deftech{opaque}. If the accessors and mutators of a
|
||||||
structure type are kept private to a module, then no other module can
|
structure type are kept private to a module, then no other module can
|
||||||
rely on the representation of the type's instances.
|
rely on the representation of the type's instances.
|
||||||
|
|
|
@ -62,7 +62,7 @@ see the kinds of sequence generators that make interesting examples.
|
||||||
|
|
||||||
The @racket[in-range] function generates a sequence of numbers, given
|
The @racket[in-range] function generates a sequence of numbers, given
|
||||||
an optional starting number (which defaults to @racket[0]), a number
|
an optional starting number (which defaults to @racket[0]), a number
|
||||||
before which the sequences ends, and an optional step (which defaults
|
before which the sequence ends, and an optional step (which defaults
|
||||||
to @racket[1]). Using a non-negative integer @racket[_k] directly as
|
to @racket[1]). Using a non-negative integer @racket[_k] directly as
|
||||||
a sequence is a shorthand for @racket[(in-range _k)].
|
a sequence is a shorthand for @racket[(in-range _k)].
|
||||||
|
|
||||||
|
|
|
@ -89,10 +89,10 @@ variables} that are bound in the result expressions:
|
||||||
[(hat sz stl) sz])
|
[(hat sz stl) sz])
|
||||||
]
|
]
|
||||||
|
|
||||||
An ellipsis, written @litchar{...}, act like a Kleene star within a
|
An ellipsis, written @litchar{...}, acts like a Kleene star within a
|
||||||
list or vector pattern: the preceding sub-pattern can be used to match
|
list or vector pattern: the preceding sub-pattern can be used to match
|
||||||
any number of times for any number of consecutive elements of the list
|
any number of times for any number of consecutive elements of the list
|
||||||
of vector. If a sub-pattern followed by an ellipsis includes a pattern
|
or vector. If a sub-pattern followed by an ellipsis includes a pattern
|
||||||
variable, the variable matches multiple times, and it is bound in the
|
variable, the variable matches multiple times, and it is bound in the
|
||||||
result expression to a list of matches:
|
result expression to a list of matches:
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user