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/branches/SMLNJ/src/smlnj-lib/Util/simple-uref.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/smlnj-lib/Util/simple-uref.sml

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

revision 474, Wed Nov 10 22:59:58 1999 UTC revision 475, Wed Nov 10 22:59:58 1999 UTC
# Line 40  Line 40 
40            val p' = find p            val p' = find p
41            val q' = find q            val q' = find q
42            in            in
43              if p' = q' then () else p' := PTR q'              if p' = q' then false else (p' := PTR q'; true)
44            end            end
45    
46      val union = link      val union = link
# Line 48  Line 48 
48      fun unify f (p, q) = let      fun unify f (p, q) = let
49            val v = f(!!p, !!q)            val v = f(!!p, !!q)
50            in            in
51              union (p, q); update (q, v)              union (p, q) before update (q, v)
52            end            end
53    
54    end (* SimpleURef *)    end (* SimpleURef *)

Legend:
Removed from v.474  
changed lines
  Added in v.475

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