[plt-dev] typed scheme/path

From: harsha (harsha.v.r at gmail.com)
Date: Fri Feb 27 16:07:37 EST 2009

> Note that you can do this using the case-lambda type constructor
thanks, i'll fix this

> shouldn't these instances of Path-string really be Path/str?
you are right, Path-string should also allow Path,  this was a mistake.

I kept Path-string & Path/str separate as they use Path-for-current-system
vs Path-for-some-system and wasn't sure if this could be distinguished by
the type system.

There is just a single Path type so i think they cant be distinguished, and
so are both the same type (U Path String)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20090227/bd4693a3/attachment.html>

Posted on the dev mailing list.