harsha wrote:
i just went back and checked and Path type doesn't include
Path-for-some-system
(string->some-system-path "file" 'windows) fails to type check as its
output is supposed to be Path, but it returns a windows-path (i am on unix).
You can do the following:
#lang typed-scheme
(require/opaque-type Some-System-Path path-for-some-system? scheme)
(require/typed scheme/path
[string->some-system-path
(String (U 'windows 'unix) -> Some-System-Path)])
(string->some-system-path "file" 'windows)
David
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
