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

Revise `Path-String' wording. Thanks Robby.

Browse Source 
original commit: 2eeff9d1fccf2469b477923235b70d0a5de45027
This commit is contained in:
Sam Tobin-Hochstadt 2012-03-27 12:27:30 -04:00
parent 9a20db10c5
commit afb83b7e91
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/typed-racket/scribblings/reference/types.scrbl
View File

@ -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}