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
83 |
[a, d] => (set (m, a, d); loop ()) |
[a, d] => (set (m, a, d); loop ()) |
84 |
| ["-"] => (reset m; loop ()) |
| ["-"] => (reset m; loop ()) |
85 |
| [a] => (cancel (m, a); loop ()) |
| [a] => (cancel (m, a); loop ()) |
86 |
|
| [] => loop () (* ignore empty lines *) |
87 |
| _ => (Say.say [f, ": malformed line (ignored)\n"]; loop ()) |
| _ => (Say.say [f, ": malformed line (ignored)\n"]; loop ()) |
88 |
end |
end |
89 |
in |
in |
|
Legend:
Removed from v.405 |
|
changed lines |
|
Added in v.406 |
|
|