Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cm/util/tstamp.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 274 - (view) (download)

1 : blume 274 structure TStamp = struct
2 :    
3 :     datatype t =
4 :     NOTSTAMP
5 :     | STABLETSTAMP of Time.time
6 :     | TSTAMP of Time.time
7 :    
8 :     (*
9 :     * If f1 depends on f2, then earlier (modtime f1, modtime f2) implies
10 :     * that f1 needs to be recompiled... *
11 :     *)
12 :     fun earlier (_, NOTSTAMP) = false (* prerequisite missing *)
13 :     | earlier (NOTSTAMP, _) = true (* object missing *)
14 :     | earlier (STABLETSTAMP _, _) = false (* object stable *)
15 :     | earlier (TSTAMP t1, STABLETSTAMP t2) = Time.< (t1, t2)
16 :     | earlier (TSTAMP t1, TSTAMP t2) = Time.< (t1, t2)
17 :     end

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