SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/main/preload.sml
Diff of /sml/trunk/src/cm/main/preload.sml
Parent Directory
|
Revision Log
|
Patch
23 |
| line => |
| line => |
24 |
if isComment line then loop () |
if isComment line then loop () |
25 |
else (case String.tokens Char.isSpace line of |
else (case String.tokens Char.isSpace line of |
26 |
["make", f] => load make f |
[] => loop ()(* ignore empty lines *) |
27 |
|
| ["make", f] => load make f |
28 |
| ["autoload", f] => load autoload f |
| ["autoload", f] => load autoload f |
29 |
| _ => (Say.say ["Illegal line in ", specfile, |
| _ => (Say.say ["Illegal line in ", specfile, |
30 |
": ", line]; |
": ", line]; |
|
Legend:
Removed from v.651 |
|
changed lines |
|
Added in v.879 |
|
|