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

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

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

revision 278, Mon May 17 14:53:49 1999 UTC revision 279, Tue May 18 08:10:36 1999 UTC
# Line 14  Line 14 
14      type filter = SymbolSet.set option      type filter = SymbolSet.set option
15    
16      datatype node =      datatype node =
17          PNODE of primitive          NODE of { smlinfo: SmlInfo.info,
       | NODE of { smlinfo: SmlInfo.info,  
18                    localimports: node list,                    localimports: node list,
19                    globalimports: farnode list }                    globalimports: farnode list }
20    
21      withtype farnode = filter * node      and farnode =
22            FARNODE of filter * node
23          | PNODE of primitive
24    
25      (* the filter is duplicated in each member of the map to      (* the filter is duplicated in each member of the map to
26       * make it easier to build the global graph *)       * make it easier to build the global graph *)
# Line 40  Line 41 
41    
42      withtype value = env      withtype value = env
43    
44      fun describeNode (PNODE p) = Primitive.toString p      fun describeNode (NODE { smlinfo, ... }) = SmlInfo.describe smlinfo
45        | describeNode (NODE { smlinfo, ... }) = SmlInfo.describe smlinfo  
46        fun describeFarNode (farn: farnode) = (ignore Dummy.v; "blah")
47  end  end

Legend:
Removed from v.278  
changed lines
  Added in v.279

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