Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/dbm-type-blame/system/Basis/Implementation/Win32/os-path.sml
ViewVC logotype

Diff of /sml/branches/dbm-type-blame/system/Basis/Implementation/Win32/os-path.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3593, Wed May 11 03:44:12 2011 UTC revision 3594, Thu May 12 16:06:32 2011 UTC
# Line 28  Line 28 
28        val parentArc  = ".."        val parentArc  = ".."
29        val currentArc = "."        val currentArc = "."
30    
31      fun validArc arc = let        (* / should also be disabled on windows, but they it is used
32            fun ok #"\\" = false         * within CM, so we need to allow it.
33              | ok #":" = false         *)
34              | ok c = Char.isPrint c        val validArc = CharVector.all (Char.notContains "\\:*?\"<>|")
           in  
             CharVector.all ok arc  
           end  
35    
36        val volSepChar = #":"        val volSepChar = #":"
37    

Legend:
Removed from v.3593  
changed lines
  Added in v.3594

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0