> 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)
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
