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/trunk/src/cm/paths/fileid.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/fileid.sml

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

revision 734, Sun Nov 19 05:27:41 2000 UTC revision 735, Tue Nov 21 12:15:55 2000 UTC
# Line 34  Line 34 
34        | compare (ABSENT s, ABSENT s') = String.compare (s, s')        | compare (ABSENT s, ABSENT s') = String.compare (s, s')
35    
36      fun fileId f = let      fun fileId f = let
37          (* To maximize our chances of recognizing eqivalent path names to          (* To maximize our chances of recognizing equivalent path names to
38           * non-existing files, we use F.fullPath to expand the largest           * non-existing files, we use F.fullPath to expand the largest
39           * possible prefix of the path. *)           * possible prefix of the path. *)
40          fun expandPath f = let          fun expandPath f = let

Legend:
Removed from v.734  
changed lines
  Added in v.735

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