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/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 878, Wed Jul 18 17:43:27 2001 UTC revision 879, Thu Jul 19 18:59:38 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
13      structure E = GenericVC.Environment      structure E = Environment
14      structure DE = DynamicEnv      structure DE = DynamicEnv
15      structure EM = GenericVC.ErrorMsg      structure EM = ErrorMsg
16      structure PP = PrettyPrint      structure PP = PrettyPrint
17    
18      type env = E.dynenv      type env = E.dynenv
# Line 43  Line 43 
43          val unshare : SrcPath.file -> unit          val unshare : SrcPath.file -> unit
44      end      end
45    
46      functor LinkFn (structure MachDepVC : MACHDEP_VC      functor LinkFn (structure BFC : BFC where type bfc = Binfile.bfContents
47                      structure BFC : BFC  (***)               val x : int
                     sharing type MachDepVC.Binfile.bfContent = BFC.bfc  
48                      val system_values : posmap SrcPathMap.map ref) :>                      val system_values : posmap SrcPathMap.map ref) :>
49              LINK where type bfc = BFC.bfc =              LINK where type bfc = BFC.bfc =
50      struct      struct
51    
52          exception Link of exn          exception Link of exn
53    
54          structure BF = MachDepVC.Binfile          structure BF = Binfile
55    
56          type bfc = BF.bfContent          type bfc = BF.bfContents
57          type bfcGetter = SmlInfo.info -> bfc          type bfcGetter = SmlInfo.info -> bfc
58    
59          type bfun = GP.info -> E.dynenv -> E.dynenv          type bfun = GP.info -> E.dynenv -> E.dynenv

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

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