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/cm-boot.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/cm-boot.sml

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

revision 449, Fri Oct 22 07:35:29 1999 UTC revision 450, Fri Oct 22 17:10:09 1999 UTC
# Line 58  Line 58 
58            fun store _ = ()            fun store _ = ()
59            val { group, ... } = Compile.newTraversal (Link.evict, store, g)            val { group, ... } = Compile.newTraversal (Link.evict, store, g)
60        in        in
61            isSome (group gp) before Link.cleanup gp            isSome (Servers.withServers (fn () => group gp))
62              before Link.cleanup gp
63        end        end
64    
65        (* This function combines the actions of "recompile" and "exec".        (* This function combines the actions of "recompile" and "exec".
# Line 71  Line 72 
72            val { group = l_group, ... } = Link.newTraversal (g, get)            val { group = l_group, ... } = Link.newTraversal (g, get)
73            val GroupGraph.GROUP { required = rq, ... } = g            val GroupGraph.GROUP { required = rq, ... } = g
74        in        in
75            case c_group gp of            case Servers.withServers (fn () => c_group gp) of
76                NONE => false                NONE => false
77              | SOME { stat, sym} =>              | SOME { stat, sym} =>
78                    (* Before executing the code, we announce the priviliges                    (* Before executing the code, we announce the priviliges
# Line 107  Line 108 
108                             val { group, ... } =                             val { group, ... } =
109                                 Compile.newTraversal (Link.evict, store, g)                                 Compile.newTraversal (Link.evict, store, g)
110                         in                         in
111                             case group gp of                             case Servers.withServers (fn () => group gp) of
112                                 NONE => NONE                                 NONE => NONE
113                               | SOME _ => SOME get                               | SOME _ => SOME get
114                         end                         end

Legend:
Removed from v.449  
changed lines
  Added in v.450

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