From e8c1286dadb9dc03a24d73cc2924a57eb3386733 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sun, 2 Oct 2016 17:03:28 +0200 Subject: [PATCH] Suggestions by O. Andreescu. Thanks! --- scribblings/split-xlist.scrbl | 5 ++--- scribblings/xlist.scrbl | 4 ++-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/scribblings/split-xlist.scrbl b/scribblings/split-xlist.scrbl index 31d63de..124faf4 100644 --- a/scribblings/split-xlist.scrbl +++ b/scribblings/split-xlist.scrbl @@ -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 diff --git a/scribblings/xlist.scrbl b/scribblings/xlist.scrbl index 3aee521..7069fdf 100644 --- a/scribblings/xlist.scrbl +++ b/scribblings/xlist.scrbl @@ -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]