SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/paths/pathconfig.sml
Diff of /sml/trunk/src/cm/paths/pathconfig.sml
Parent Directory
|
Revision Log
|
Patch
29 |
|
|
30 |
type mode = string StringMap.map ref |
type mode = string StringMap.map ref |
31 |
|
|
32 |
fun set (m, a, s) = m := (Era.newEra (); StringMap.insert (!m, a, s)) |
fun set0 mkAbsolute (m, a, s) = let |
33 |
|
val s' = |
34 |
|
if OS.Path.isAbsolute s then s |
35 |
|
else mkAbsolute s |
36 |
|
in |
37 |
|
m := (Era.newEra (); StringMap.insert (!m, a, s')) |
38 |
|
end |
39 |
|
fun set x = let |
40 |
|
fun mkAbsolute rel = |
41 |
|
OS.Path.mkAbsolute { path = rel, |
42 |
|
relativeTo = OS.FileSys.getDir () } |
43 |
|
in |
44 |
|
set0 mkAbsolute x |
45 |
|
end |
46 |
fun reset m = m := (Era.newEra (); StringMap.empty) |
fun reset m = m := (Era.newEra (); StringMap.empty) |
47 |
fun cancel (m, a) = |
fun cancel (m, a) = |
48 |
(Era.newEra (); |
(Era.newEra (); |
67 |
end |
end |
68 |
|
|
69 |
fun processSpecFile (m, f) = let |
fun processSpecFile (m, f) = let |
70 |
|
val full_f_dir = OS.Path.dir (OS.FileSys.fullPath f) |
71 |
|
fun set x = let |
72 |
|
fun mkAbsolute rel = |
73 |
|
OS.Path.mkAbsolute { path = rel, relativeTo = full_f_dir } |
74 |
|
in |
75 |
|
set0 mkAbsolute x |
76 |
|
end |
77 |
fun work s = let |
fun work s = let |
78 |
fun loop () = let |
fun loop () = let |
79 |
val line = TextIO.inputLine s |
val line = TextIO.inputLine s |
|
Legend:
Removed from v.404 |
|
changed lines |
|
Added in v.405 |
|
|