From 9a20db10c5f49e8aec16ad64ee2739782a3d83d1 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 26 Mar 2012 11:53:32 -0400 Subject: [PATCH] Document relation between `Path-String' and `path-string?'. original commit: 896897942248e0a0587297416f10c176755294e2 --- collects/typed-racket/scribblings/reference/types.scrbl | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl index 9342e933..c1455813 100644 --- a/collects/typed-racket/scribblings/reference/types.scrbl +++ b/collects/typed-racket/scribblings/reference/types.scrbl @@ -178,7 +178,6 @@ needed to check the desired bounds at runtime. @defidform[Output-Port] @defidform[Port] @defidform[Path] -@defidform[Path-String] @defidform[Path-For-Some-System] @defidform[Regexp] @defidform[PRegexp] @@ -241,6 +240,12 @@ 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].} + + @section{Singleton Types} Some kinds of data are given singleton types by default. In