Actually I don't think this is an over sight. The null string is a String. And Path-String is Path U String, but (path-string? (string #\null)) => #f.
Sent from a mobile device. On Mar 21, 2012 5:14 PM, "John Clements" <cleme...@brinckerhoff.org> wrote: > > On Mar 21, 2012, at 3:20 PM, Sam Tobin-Hochstadt wrote: > > > On Wed, Mar 21, 2012 at 5:36 PM, John Clements > > <cleme...@brinckerhoff.org> wrote: > >> It looks like 'path-string?' is not labeled as a discriminator type. > >> > >>> path-string? > >> - : (Any -> Boolean) > >> #<procedure:path-string?> > >>> > >> > >> Is this just an oversight? > > > > Yes, that's just an oversight, although it's slightly more complicated > > than you'd think (because `(path-string? (string #\null))' is #f). > > Well, I just made do with (define-predicate ps? Path-String?), so this > certainly isn't a major problem. > > John > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev > >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
