[racket] TR predicate documentation, typo?

On 2014-09-10 22:50:35 -0400, Anthony Carrico wrote:
> "The filter specifies that when (string? x) evaluates to a true value,
> the variable x can be assumed to have type String. Likewise, if the
> expression evaluates to #f, the variable has type String."
>
> I think there must be a typo here, what exactly happens if the
> expression evaluates to #f?

You're right, that sentence doesn't make sense (my fault, I think). It
should say that the variable is known to *not* have type String in
branches where `(string? x)` evaluated to #f.

Thanks, will fix it.

Cheers,
Asumu