SCM Repository
Diff of /sml/trunk/src/cm/paths/abspath.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 272, Wed May 12 07:09:28 1999 UTC | revision 274, Fri May 14 05:23:02 1999 UTC | |
|---|---|---|
| # | Line 29 | Line 29 |
| 29 | val splitDirFile : t -> { dir: t, file: string } | val splitDirFile : t -> { dir: t, file: string } |
| 30 | val dir : t -> t | val dir : t -> t |
| 31 | val file : t -> string | val file : t -> string |
| 32 | ||
| 33 | val exists : t -> bool | |
| 34 | val tstamp : t -> TStamp.t | |
| 35 | val stabletstamp : t -> TStamp.t | |
| 36 | end | end |
| 37 | ||
| 38 | structure AbsPath :> ABSPATH = struct | structure AbsPath :> ABSPATH = struct |
| # | Line 246 | Line 250 |
| 250 | ||
| 251 | val dir = #dir o splitDirFile | val dir = #dir o splitDirFile |
| 252 | val file = #file o splitDirFile | val file = #file o splitDirFile |
| 253 | ||
| 254 | fun fileExists n = F.access (n, []) handle _ => false | |
| 255 | fun fileModTime n = F.modTime n handle _ => Time.zeroTime | |
| 256 | ||
| 257 | val exists = fileExists o name | |
| 258 | ||
| 259 | fun tstamp0 TS p = let | |
| 260 | val n = name p | |
| 261 | in | |
| 262 | if fileExists n then TS (fileModTime n) else TStamp.NOTSTAMP | |
| 263 | end | |
| 264 | val tstamp = tstamp0 TStamp.TSTAMP | |
| 265 | val stabletstamp = tstamp0 TStamp.STABLETSTAMP | |
| 266 | end | end |
| 267 | end | end |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
