> 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/archive/dev/attachments/20090227/bd4693a3/attachment.html>
