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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 330 - (download) (annotate)
Sat Jun 12 07:45:52 1999 UTC (20 years, 5 months ago) by blume
File size: 591 byte(s)
stablefile format enhanced; bootstrap compiler shows signs of life
(*
 * CM timestamp semantics.
 *
 * (C) 1999 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
structure TStamp = struct

    datatype t =
	NOTSTAMP
      | TSTAMP of Time.time

    val ancient = TSTAMP (Time.zeroTime)

    (*
     * If f1 depends on f2, then earlier (modtime f1, modtime f2) implies
     * that f1 needs to be recompiled...     *
     *)
    fun earlier (_, NOTSTAMP) = false	(* prerequisite missing *)
      | earlier (NOTSTAMP, _) = true	(* object missing *)
      | earlier (TSTAMP t1, TSTAMP t2) = Time.< (t1, t2)
end

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