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/main/slave.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/slave.sml

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

revision 666, Fri Jun 16 08:27:00 2000 UTC revision 771, Sat Dec 30 13:06:09 2000 UTC
# Line 73  Line 73 
73                    | SOME (g, gp) => let                    | SOME (g, gp) => let
74                          val _ = say_ok ()                          val _ = say_ok ()
75                          val index = Reachable.snodeMap g                          val index = Reachable.snodeMap g
76                          val trav = sbtrav () gp                          val trav = sbtrav ()
77                          fun trav' sbn = isSome (trav sbn)                          fun trav' sbn = isSome (trav sbn gp)
78                      in                      in
79                          workLoop (index, trav', penv)                          workLoop (index, trav', penv)
80                      end                      end

Legend:
Removed from v.666  
changed lines
  Added in v.771

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