SCM Repository
Diff of /sml/trunk/src/cm/paths/abspath.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 372, Tue Jul 6 09:05:57 1999 UTC | revision 373, Wed Jul 7 00:45:56 1999 UTC | |
|---|---|---|
| # | Line 173 | Line 173 |
| 173 | case validElab (!cache) of | case validElab (!cache) of |
| 174 | SOME e => e | SOME e => e |
| 175 | | NONE => mkElab (cache, | | NONE => mkElab (cache, |
| 176 | P.mkCanonical (P.concat | P.concat (#name (elabContext context), spec)) |
| (#name (elabContext context), spec))) | ||
| 177 | ||
| 178 | (* get the file id (calls elab, so don't cache externally!) *) | (* get the file id (calls elab, so don't cache externally!) *) |
| 179 | fun id p = let | fun id p = let |
| # | Line 307 | Line 306 |
| 306 | | ctxt (THEN_CWD _) = (Say.say ["."]; NONE) | | ctxt (THEN_CWD _) = (Say.say ["."]; NONE) |
| 307 | | ctxt ROOT = (Say.say ["/"]; NONE) | | ctxt ROOT = (Say.say ["/"]; NONE) |
| 308 | in | in |
| 309 | Option.map P.mkCanonical (path p) | path p |
| 310 | end | end |
| 311 | end | end |
| 312 | end | end |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
