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

Suggestions by O. Andreescu. Thanks!

Browse Source
This commit is contained in:
Georges Dupéron 2016-10-02 17:03:28 +02:00
parent 974ed8549d
commit e8c1286dad
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scribblings/split-xlist.scrbl
View File

@ -38,10 +38,9 @@
(code:line *))]
#:contracts
[(nat (syntax/c exact-nonnegative-integer?))]]{
This match patterns splits an xlist into a list of lists, and matches the
This match pattern splits an xlist into a list of lists, and matches the
result against @racket[pat]. Each repeated element of the xlist is extracted
into one of these sublists. The type for each sublist is determined base on
into one of these sublists. The type for each sublist is determined based on
the element's type and its @racket[_repeat]:
@itemlist[
@item{If the @racket[_repeat] for that element is @racket[once], then the

4
scribblings/xlist.scrbl
View File

@ -108,7 +108,7 @@ To use the type expander, you must first require the
checking.
If the first bound is omitted, it defaults to @racket[0], and if the second
bound is omited, it defaults to @racket[∞]. This means that @racket[-] on its
bound is omitted, it defaults to @racket[∞]. This means that @racket[-] on its
own is equivalent to @racket[*], but the latter form is preferred.
The @racket[superscripted-repeat] is a representation of @racket[repeat] using
@ -222,7 +222,7 @@ To use the type expander, you must first require the
@emph{Note :} Typed/Racket's type inference is not strong enough (yet) to
support some match patterns, and there is no @elem[#:style 'tt "typed/match"]
library which would help with that (yet). This means that although by
construction @racket[xlist] tries to avoid to generate such patterns, a few of
construction @racket[xlist] tries to avoid generating such patterns, a few of
the patterns supported by @racket[xlist] will not work in
@racketmodname[typed/racket] (rest values and spliced lists are the most
likely to cause problems). As an alternative, try the @racket[split-xlist]