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

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

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

revision 301, Fri May 28 09:43:39 1999 UTC revision 302, Sat May 29 03:19:59 1999 UTC
# Line 42  Line 42 
42    
43      fun noshare s = NOSHARE (StringSet.singleton s)      fun noshare s = NOSHARE (StringSet.singleton s)
44    
45        (* The only time we can encounter an old result of NOSHARE is
46         * during the same run of "make".  In this case, the old value
47         * certainly cannot be outdated. *)
48      fun outdated { context = SHARE c, oldresult = SHARE r } = c > r      fun outdated { context = SHARE c, oldresult = SHARE r } = c > r
49          | outdated { oldresult = NOSHARE _, ... } = false
50        | outdated _ = true        | outdated _ = true
51    
52      fun join (SHARE x, SHARE y) = SHARE (if x > y then x else y)      fun join (SHARE x, SHARE y) = SHARE (if x > y then x else y)

Legend:
Removed from v.301  
changed lines
  Added in v.302

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