From afb83b7e9117c18b8dd7faebaff806018a3d2a56 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 27 Mar 2012 12:27:30 -0400 Subject: [PATCH] Revise `Path-String' wording. Thanks Robby. original commit: 2eeff9d1fccf2469b477923235b70d0a5de45027 --- .../typed-racket/scribblings/reference/types.scrbl | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl index c1455813..e8fc293e 100644 --- a/collects/typed-racket/scribblings/reference/types.scrbl +++ b/collects/typed-racket/scribblings/reference/types.scrbl @@ -240,10 +240,16 @@ These types represent primitive Racket data. ] } -@defidform[Path-String]{ The union of the @racket[Path] and -@racket[String] types. Note that this includes some strings where -@racket[path-string?] produces @racketresult[false], such as strings -that contain the character @racket[#\nul].} +@defidform[Path-String]{ +The union of the @racket[Path] and +@racket[String] types. Note that this does not +match exactly what the predicate @racket[path-string?] +recognizes. For example, strings +that contain the character @racket[#\nul] have the type +@racket[Path-String] but @racket[path-string?] returns +@racket[#f] for those strings. For a complete specification +of which strings @racket[path-string?] accepts, see its +documentation.} @section{Singleton Types}