Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/main/preload.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/preload.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 879, Thu Jul 19 18:59:38 2001 UTC revision 1368, Sat Sep 13 04:44:43 2003 UTC
# Line 15  Line 15 
15          fun work s = let          fun work s = let
16              fun loop () = let              fun loop () = let
17                  fun load loader f = if loader f then loop () else false                  fun load loader f = if loader f then loop () else false
                 fun isComment l =  
                     size l > 0 andalso String.sub (l, 0) = #"#"  
18              in              in
19                  case TextIO.inputLine s of                  case TextIO.inputLine s of
20                      "" => true                      NONE => true
21                    | line =>                    | SOME line =>
22                          if isComment line then loop ()                        if String.sub (line, 0) = #"#" then loop ()
23                          else (case String.tokens Char.isSpace line of                        else case String.tokens Char.isSpace line of
24                                    [] => loop ()(* ignore empty lines *)                                    [] => loop ()(* ignore empty lines *)
25                                  | ["make", f] => load make f                                  | ["make", f] => load make f
26                                  | ["autoload", f] => load autoload f                                  | ["autoload", f] => load autoload f
27                                  | _ => (Say.say ["Illegal line in ", specfile,                                  | _ => (Say.say ["Illegal line in ", specfile,
28                                                   ": ", line];                                                   ": ", line];
29                                          loop ()))                                       loop ())
30              end              end
31          in          in
32              loop ()              loop ()

Legend:
Removed from v.879  
changed lines
  Added in v.1368

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0