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

Diff of /sml/trunk/src/cm/util/tstamp.sml

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

revision 330, Sat Jun 12 07:45:52 1999 UTC revision 345, Sun Jun 20 11:55:26 1999 UTC
# Line 13  Line 13 
13    
14      val ancient = TSTAMP (Time.zeroTime)      val ancient = TSTAMP (Time.zeroTime)
15    
16      (*      (* We consider a target good if it has the same time stamp
17       * If f1 depends on f2, then earlier (modtime f1, modtime f2) implies       * as the source.  A target that isn't there is never good,
18       * that f1 needs to be recompiled...     *       * and if there is a target but no source, then we assume the
19       *)       * target to be ok. *)
20      fun earlier (_, NOTSTAMP) = false   (* prerequisite missing *)      fun needsUpdate { target = NOTSTAMP, ... } = true
21        | earlier (NOTSTAMP, _) = true    (* object missing *)        | needsUpdate { source = NOTSTAMP, ... } = false
22        | earlier (TSTAMP t1, TSTAMP t2) = Time.< (t1, t2)        | needsUpdate { source = TSTAMP st, target = TSTAMP tt } =
23            Time.compare (st, tt) <> EQUAL
24  end  end

Legend:
Removed from v.330  
changed lines
  Added in v.345

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