On Sat, Mar 24, 2012 at 12:36 PM, Eli Barzilay wrote:
> IMO defining `Path-String' in a way that doesn't correspond to
> `path-string?' is not a good idea. I'd prefer it if the name was
> changed or if the type changes to accurately reflect the predicate.
I this this is a place where we just hav
IMO defining `Path-String' in a way that doesn't correspond to
`path-string?' is not a good idea. I'd prefer it if the name was
changed or if the type changes to accurately reflect the predicate.
(The latter might be more problematic since it probably implies doing
more checking than done now, an
That's true, which is why it has to have a more complex filter than
you'd expect. But if a value isn't `path-string?', then it is
definitely not a `Path', and if it *is* `path-string?' then it's
either a `String' or a `Path'. So we can express an approximation of
it's behavior in the type.
On Fr
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" wrote:
>
> On Mar 21, 2012, at 3:20 PM, Sam Tobin-Hochstadt wrote:
>
> > On W
On Mar 21, 2012, at 3:20 PM, Sam Tobin-Hochstadt wrote:
> On Wed, Mar 21, 2012 at 5:36 PM, John Clements
> wrote:
>> It looks like 'path-string?' is not labeled as a discriminator type.
>>
>>> path-string?
>> - : (Any -> Boolean)
>> #
>>>
>>
>> Is this just an oversight?
>
> Yes, that's just
On Wed, Mar 21, 2012 at 5:36 PM, John Clements
wrote:
> It looks like 'path-string?' is not labeled as a discriminator type.
>
>> path-string?
> - : (Any -> Boolean)
> #
>>
>
> Is this just an oversight?
Yes, that's just an oversight, although it's slightly more complicated
than you'd think (beca
It looks like 'path-string?' is not labeled as a discriminator type.
> path-string?
- : (Any -> Boolean)
#
>
Is this just an oversight?
John
smime.p7s
Description: S/MIME cryptographic signature
_
Racket Developers list:
http://lists.racket-lang.org/dev
7 matches
Mail list logo