[racket-dev] [plt] Push #24460: master branch updated

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Mar 26 03:33:48 EDT 2012

Two days ago, samth at racket-lang.org wrote:
> a390019 Sam Tobin-Hochstadt <samth at 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!

Posted on the dev mailing list.