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/bootstrap/btcompile.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml

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

revision 360, Tue Jun 29 09:21:02 1999 UTC revision 361, Wed Jun 30 06:44:04 1999 UTC
# Line 78  Line 78 
78          val pidfile = OS.Path.joinDirFile { dir = bootdir, file = "RTPID" }          val pidfile = OS.Path.joinDirFile { dir = bootdir, file = "RTPID" }
79          val listfile = OS.Path.joinDirFile { dir = bootdir, file = "BINLIST" }          val listfile = OS.Path.joinDirFile { dir = bootdir, file = "BINLIST" }
80    
81          val pcmode = let          val pcmode = PathConfig.new ()
82              fun work s = let          val _ = PathConfig.processSpecFile (pcmode, pcmodespec)
                 fun loop l = let  
                     val line = TextIO.inputLine s  
                 in  
                     if line = "" then PathConfig.hardwire l  
                     else case String.tokens Char.isSpace line of  
                         [a, s] => loop ((a, s) :: l)  
                       | _ => (Say.say [pcmodespec,  
                                        ": malformed line (ignored)\n"];  
                               loop l)  
                 end  
             in  
                 loop []  
             end  
         in  
             SafeIO.perform { openIt = fn () => TextIO.openIn pcmodespec,  
                              closeIt = TextIO.closeIn,  
                              work = work,  
                              cleanup = fn () => () }  
         end  
83    
84          fun stdpath s = SrcPath.standard pcmode { context = ctxt, spec = s }          fun stdpath s = SrcPath.standard pcmode { context = ctxt, spec = s }
85    

Legend:
Removed from v.360  
changed lines
  Added in v.361

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