Two days ago, sa...@racket-lang.org wrote:
> a390019 Sam Tobin-Hochstadt <sa...@racket-lang.org> 2012-03-24 14:31
> :
> | Improve filter for `path-string?'.
> :
>   M collects/tests/typed-racket/unit-tests/typecheck-tests.rkt |    2 ++
>   M collects/typed-racket/base-env/base-env.rkt                |    4 +++-

Looks like it's still just a union:

  (: x : Path-String)
  (define x "foo\0bar")
  (define (foo) (delete-file x))

And I get no errors from that.

Maybe at least document it as something that doesn't correspond to
`path-string?'?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to