Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/compile/link.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/link.sml

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

revision 904, Mon Aug 20 19:50:05 2001 UTC revision 905, Thu Aug 23 21:53:02 2001 UTC
# Line 10  Line 10 
10      structure GP = GeneralParams      structure GP = GeneralParams
11      structure DG = DependencyGraph      structure DG = DependencyGraph
12      structure GG = GroupGraph      structure GG = GroupGraph
     structure E = Environment  
13      structure DE = DynamicEnv      structure DE = DynamicEnv
14      structure EM = ErrorMsg      structure EM = ErrorMsg
15      structure PP = PrettyPrint      structure PP = PrettyPrint
16    
17      type env = E.dynenv      type env = DynamicEnv.env
18      type posmap = env IntMap.map      type posmap = env IntMap.map
19  in  in
20      signature LINK = sig      signature LINK = sig
# Line 56  Line 55 
55          type bfc = BF.bfContents          type bfc = BF.bfContents
56          type bfcGetter = SmlInfo.info -> bfc          type bfcGetter = SmlInfo.info -> bfc
57    
58          type bfun = GP.info -> E.dynenv -> E.dynenv          type bfun = GP.info -> env -> env
59    
60          datatype bnode =          datatype bnode =
61              B of bfun * BinInfo.info * bnode list              B of bfun * BinInfo.info * bnode list
62    
63          val stablemap = ref (StableMap.empty: bnode StableMap.map)          val stablemap = ref (StableMap.empty: bnode StableMap.map)
64    
65          type smemo = E.dynenv * SmlInfo.info list          type smemo = env * SmlInfo.info list
66    
67          val smlmap = ref (SmlInfoMap.empty: smemo SmlInfoMap.map)          val smlmap = ref (SmlInfoMap.empty: smemo SmlInfoMap.map)
68    
69          val emptyStatic = E.staticPart E.emptyEnv          val emptyStatic = StaticEnv.empty
70          val emptyDyn = E.dynamicPart E.emptyEnv          val emptyDyn = DynamicEnv.empty
71    
72          fun evict gp i = let          fun evict gp i = let
73              fun check () =              fun check () =

Legend:
Removed from v.904  
changed lines
  Added in v.905

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