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/compile/recomp.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/recomp.sml

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

revision 309, Wed Jun 2 03:21:57 1999 UTC revision 310, Wed Jun 2 07:28:27 1999 UTC
# Line 115  Line 115 
115              val stable = FilenamePolicy.mkStablePath fnp (BinInfo.group i)              val stable = FilenamePolicy.mkStablePath fnp (BinInfo.group i)
116              val os = BinInfo.offset i              val os = BinInfo.offset i
117              val descr = BinInfo.describe i              val descr = BinInfo.describe i
118              val _ = Say.vsay (concat ["[consulting ", descr, "]\n"])              val _ = Say.vsay ["[consulting ", descr, "]\n"]
119              val s = AbsPath.openBinIn stable              val s = AbsPath.openBinIn stable
120              fun load () = let              fun load () = let
121                  val _ = Seek.seek (s, os)                  val _ = Seek.seek (s, os)
# Line 152  Line 152 
152          case Option.map memo2envdelta (PS.recomp_look_sml (i, pids, gp)) of          case Option.map memo2envdelta (PS.recomp_look_sml (i, pids, gp)) of
153              SOME d => SOME d              SOME d => SOME d
154            | NONE => let            | NONE => let
155                  val mkBinPath =                  val binpath = SmlInfo.binpath i
                     FilenamePolicy.mkBinPath (#fnpolicy (#param gp))  
                 val binpath = mkBinPath (SmlInfo.sourcepath i)  
156                  val binname = AbsPath.name binpath                  val binname = AbsPath.name binpath
157                  fun delete () = OS.FileSys.remove binname handle _ => ()                  fun delete () = OS.FileSys.remove binname handle _ => ()
158    
# Line 166  Line 164 
164                      Interrupt.guarded writer handle exn =>                      Interrupt.guarded writer handle exn =>
165                          (BinIO.closeOut s; raise exn);                          (BinIO.closeOut s; raise exn);
166                      BinIO.closeOut s;                      BinIO.closeOut s;
167                      Say.vsay (concat ["[wrote ", binname, "]\n"])                      Say.vsay ["[wrote ", binname, "]\n"]
168                  end handle e as Interrupt.Interrupt => (delete (); raise e)                  end handle e as Interrupt.Interrupt => (delete (); raise e)
169                           | exn => let                           | exn => let
170                                 fun ppb pps =                                 fun ppb pps =
# Line 199  Line 197 
197                      case SmlInfo.parsetree gp i of                      case SmlInfo.parsetree gp i of
198                          NONE => NONE                          NONE => NONE
199                        | SOME (ast, source) => let                        | SOME (ast, source) => let
200                              val _ = Say.vsay (concat ["[compiling ",                              val _ = Say.vsay ["[compiling ", SmlInfo.name i,
201                                                        SmlInfo.name i, " -> ",                                                " -> ", binname, "...]\n"]
                                                       binname, "...]\n"])  
202                              val corenv = #corenv (#param gp)                              val corenv = #corenv (#param gp)
203                              val cmData = PidSet.listItems pids                              val cmData = PidSet.listItems pids
204                              val bfc = BF.create { runtimePid = NONE,                              val bfc = BF.create { runtimePid = NONE,
# Line 243  Line 240 
240                          if isValid bfc then let                          if isValid bfc then let
241                              val memo = { bfc = bfc, ctxt = stat }                              val memo = { bfc = bfc, ctxt = stat }
242                          in                          in
243                              Say.vsay (concat ["[", binname, " loaded]\n"]);                              Say.vsay ["[", binname, " loaded]\n"];
244                              PS.recomp_memo_sml (i, memo);                              PS.recomp_memo_sml (i, memo);
245                              SOME (memo2envdelta memo)                              SOME (memo2envdelta memo)
246                          end                          end

Legend:
Removed from v.309  
changed lines
  Added in v.310

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