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
44 |
if line = "" then () |
if line = "" then () |
45 |
else case String.tokens Char.isSpace line of |
else case String.tokens Char.isSpace line of |
46 |
[a, d] => (set (m, a, d); |
[a, d] => (set (m, a, d); |
|
Say.vsay ["PathConfig: ", a, " -> ", d, "\n"]; |
|
47 |
loop ()) |
loop ()) |
48 |
| _ => (Say.say [f, ": malformed line (ignored)\n"]; |
| _ => (Say.say [f, ": malformed line (ignored)\n"]; |
49 |
loop ()) |
loop ()) |
|
Legend:
Removed from v.365 |
|
changed lines |
|
Added in v.366 |
|
|