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 1067, Fri Feb 15 17:08:17 2002 UTC revision 1068, Fri Feb 15 19:18:00 2002 UTC
# Line 169  Line 169 
169                  (SrcPath.standard { err = fn s => raise Fail s, env = penv }                  (SrcPath.standard { err = fn s => raise Fail s, env = penv }
170                                    { context = SrcPath.cwd (), spec = s })                                    { context = SrcPath.cwd (), spec = s })
171    
172            fun getPending () = let            fun getPending () =
173                fun one (s, _) = let                map (Symbol.describe o #1)
174                    val nss = Symbol.nameSpaceToString (Symbol.nameSpace s)                    (SymbolMap.listItemsi (AutoLoad.getPending ()))
175                    val n = Symbol.name s  
176                in            fun showBindings () = let
177                    concat ["  ", nss, " ", n, "\n"]                val loaded = map Symbol.describe (EnvRef.listBoundSymbols ())
178                end                val pending = getPending ()
179            in                fun pr s = Say.say [s, "\n"]
180                map one (SymbolMap.listItemsi (AutoLoad.getPending ()))            in
181                  Say.say ["\n*** Symbols bound at toplevel:\n"];
182                  app pr loaded;
183                  Say.say ["\n*** Symbols registered for autoloading:\n"];
184                  app pr pending
185            end            end
186    
187            fun initPaths () = let            fun initPaths () = let
# Line 711  Line 715 
715              val synchronize = SrcPath.sync              val synchronize = SrcPath.sync
716              val reset = reset              val reset = reset
717              val pending = getPending              val pending = getPending
718                val showBindings = showBindings
719          end          end
720    
721          structure Server = struct          structure Server = struct

Legend:
Removed from v.1067  
changed lines
  Added in v.1068

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