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 277, Mon May 17 09:13:26 1999 UTC revision 330, Sat Jun 12 07:45:52 1999 UTC
# Line 9  Line 9 
9    
10      datatype t =      datatype t =
11          NOTSTAMP          NOTSTAMP
       | STABLETSTAMP of Time.time  
12        | TSTAMP of Time.time        | TSTAMP of Time.time
13    
14        val ancient = TSTAMP (Time.zeroTime)
15    
16      (*      (*
17       * If f1 depends on f2, then earlier (modtime f1, modtime f2) implies       * If f1 depends on f2, then earlier (modtime f1, modtime f2) implies
18       * that f1 needs to be recompiled...     *       * that f1 needs to be recompiled...     *
19       *)       *)
20      fun earlier (_, NOTSTAMP) = false   (* prerequisite missing *)      fun earlier (_, NOTSTAMP) = false   (* prerequisite missing *)
21        | earlier (NOTSTAMP, _) = true    (* object missing *)        | earlier (NOTSTAMP, _) = true    (* object missing *)
       | earlier (STABLETSTAMP _, _) = false (* object stable *)  
       | earlier (TSTAMP t1, STABLETSTAMP t2) = Time.< (t1, t2)  
22        | earlier (TSTAMP t1, TSTAMP t2) = Time.< (t1, t2)        | earlier (TSTAMP t1, TSTAMP t2) = Time.< (t1, t2)
23  end  end

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

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