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

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

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

revision 677, Mon Jun 26 00:56:56 2000 UTC revision 692, Thu Jul 27 08:34:53 2000 UTC
# Line 205  Line 205 
205                    | (SOME d, SOME s) => SOME (filter (d, s))                    | (SOME d, SOME s) => SOME (filter (d, s))
206    
207              and snode gp (DG.SNODE n) = let              and snode gp (DG.SNODE n) = let
208                    val youngest = #youngest gp
209                  val { smlinfo = i, localimports = li, globalimports = gi } = n                  val { smlinfo = i, localimports = li, globalimports = gi } = n
210                  val binname = SmlInfo.binname i                  val binname = SmlInfo.binname i
211    
# Line 276  Line 277 
277                          end handle _ => fail () (* catch elaborator exn *)                          end handle _ => fail () (* catch elaborator exn *)
278                  end (* compile_here *)                  end (* compile_here *)
279                  fun notlocal () = let                  fun notlocal () = let
280                        val _ = youngest := TStamp.max (!youngest,
281                                                        SmlInfo.lastseen i)
282                      val urgency = getUrgency i                      val urgency = getUrgency i
283                      (* Ok, it is not in the local state, so we first have                      (* Ok, it is not in the local state, so we first have
284                       * to traverse all children before we can proceed... *)                       * to traverse all children before we can proceed... *)
# Line 354  Line 357 
357                                  fun compile () = let                                  fun compile () = let
358                                      val sp = SmlInfo.sourcepath i                                      val sp = SmlInfo.sourcepath i
359                                  in                                  in
360                                        youngest := TStamp.NOTSTAMP;
361                                      if compile_there' sp then                                      if compile_there' sp then
362                                          tryload ("received", compile_again)                                          tryload ("received", compile_again)
363                                      else compile_again ()                                      else compile_again ()

Legend:
Removed from v.677  
changed lines
  Added in v.692

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