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

Diff of /sml/trunk/src/cm/depend/index.sml

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

revision 985, Wed Nov 21 19:09:12 2001 UTC revision 986, Wed Nov 21 21:03:17 2001 UTC
# Line 1  Line 1 
1  (*  (* index.sml
2     *
3   * Generating indices mapping top-level defined symbols to files   * Generating indices mapping top-level defined symbols to files
4   * where they are defined.   * where they are defined.
5   *   *
# Line 11  Line 12 
12          GeneralParams.info *          GeneralParams.info *
13          SrcPath.file *          SrcPath.file *
14          { imports: DependencyGraph.impexp SymbolMap.map,          { imports: DependencyGraph.impexp SymbolMap.map,
           gimports: 'a,  
15            smlfiles: 'b,            smlfiles: 'b,
16            localdefs: SmlInfo.info SymbolMap.map,            localdefs: SmlInfo.info SymbolMap.map,
17            subgroups:            subgroups:
# Line 24  Line 24 
24  structure Index :> INDEX = struct  structure Index :> INDEX = struct
25      fun mkIndex (gp: GeneralParams.info, group, coll) =      fun mkIndex (gp: GeneralParams.info, group, coll) =
26          if #get StdConfig.generate_index () then          if #get StdConfig.generate_index () then
27              let val { imports, gimports, smlfiles, localdefs, subgroups,              let val { imports, smlfiles, localdefs, subgroups,
28                        sources, reqpriv } = coll                        sources, reqpriv } = coll
29                  val idxfile =                  val idxfile =
30                      FilenamePolicy.mkIndexName (#fnpolicy (#param gp)) group                      FilenamePolicy.mkIndexName (#fnpolicy (#param gp)) group

Legend:
Removed from v.985  
changed lines
  Added in v.986

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