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

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

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

revision 771, Sat Dec 30 13:06:09 2000 UTC revision 879, Thu Jul 19 18:59:38 2001 UTC
# Line 8  Line 8 
8  local  local
9      structure GP = GeneralParams      structure GP = GeneralParams
10      structure DG = DependencyGraph      structure DG = DependencyGraph
11      structure ER = GenericVC.EnvRef      structure ER = EnvRef
12      structure GG = GroupGraph      structure GG = GroupGraph
13      structure E = GenericVC.Environment      structure E = Environment
14      structure EM = GenericVC.ErrorMsg      structure EM = ErrorMsg
15  in  in
16  signature AUTOLOAD = sig  signature AUTOLOAD = sig
17    
18      val register : ER.envref * GG.group -> unit      val register : ER.envref * GG.group -> unit
19    
20      val mkManager : { get_ginfo: unit -> GP.info, dropPickles: unit -> unit }      val mkManager : { get_ginfo: unit -> GP.info, dropPickles: unit -> unit }
21          -> GenericVC.Ast.dec * ER.envref -> unit          -> Ast.dec * ER.envref -> unit
22    
23      val getPending : unit -> DG.impexp SymbolMap.map      val getPending : unit -> DG.impexp SymbolMap.map
24    
# Line 30  Line 30 
30                      structure C : COMPILE where type stats = BFC.stats                      structure C : COMPILE where type stats = BFC.stats
31                      sharing type C.bfc = L.bfc = BFC.bfc) :> AUTOLOAD = struct                      sharing type C.bfc = L.bfc = BFC.bfc) :> AUTOLOAD = struct
32    
33      structure SE = GenericVC.StaticEnv      structure SE = StaticEnv
34    
35      type traversal = GP.info -> E.environment option      type traversal = GP.info -> E.environment option
36      (* We let the topLevel env *logically* sit atop the pending      (* We let the topLevel env *logically* sit atop the pending
# Line 57  Line 57 
57              (* make traversal states *)              (* make traversal states *)
58              val { store, get } = BFC.new ()              val { store, get } = BFC.new ()
59              val { exports = cTrav, ... } = C.newTraversal (L.evict, store, g)              val { exports = cTrav, ... } = C.newTraversal (L.evict, store, g)
60              val { exports = lTrav, ... } = L.newTraversal (g, #content o get)              val { exports = lTrav, ... } = L.newTraversal (g, #contents o get)
61              fun combine (ss, d) gp =              fun combine (ss, d) gp =
62                  case ss gp of                  case ss gp of
63                      SOME { stat, sym } =>                      SOME { stat, sym } =>

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

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