From 3e33545ca27c871aafae1d3a47e5ff4101f9c390 Mon Sep 17 00:00:00 2001 From: NoahStoryM Date: Sat, 2 Nov 2024 14:19:30 +0800 Subject: [PATCH] doc: clarify that `(Sequenceof)` is valid --- .../typed-racket/scribblings/reference/types.scrbl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl index 6a44ea172..27ac5201d 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl @@ -513,10 +513,11 @@ type returned. @ex[current-input-port current-directory]} @deftypeconstr[(Futureof t)]{Returns the type of @rtech{future} which produce a value of type @racket[t] when touched.} -@deftypeconstr[(Sequenceof t t ...)]{Returns the type of @rtech{sequence} that produces - @racket[(Values _t _t ...)] on each iteration. E.g., @racket[(Sequenceof String)] -is a sequence of strings, @racket[(Sequenceof Number String)] is a sequence which -produces two values---a number and a string---on each iteration, etc.} +@deftypeconstr[(Sequenceof t ...)]{Returns the type of @rtech{sequence} that produces + @racket[(Values _t ...)] on each iteration. E.g., @racket[(Sequenceof)] + is a sequence which produces no values, @racket[(Sequenceof String)] is a + sequence of strings, @racket[(Sequenceof Number String)] is a sequence which + produces two values---a number and a string---on each iteration, etc.} @deftype[SequenceTop]{Is the type of a @rtech{sequence} with unknown element type and is the supertype of all sequences. This type typically