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 277, Mon May 17 09:13:26 1999 UTC revision 278, Mon May 17 14:53:49 1999 UTC
# Line 7  Line 7 
7   *)   *)
8  structure DependencyGraph = struct  structure DependencyGraph = struct
9    
10        type symbol = Symbol.symbol
11      type groupinfo = Dummy.t      type groupinfo = Dummy.t
12      type primitive = Primitive.primitive      type primitive = Primitive.primitive
13    
# Line 29  Line 30 
30                     exports: farnode SymbolMap.map,                     exports: farnode SymbolMap.map,
31                     dangling: node list }                     dangling: node list }
32    
33        (* environments used for dependency analysis *)
34        datatype env =
35            EMPTY
36          | FCTENV of { looker: symbol -> value option,
37                        domain: unit -> SymbolSet.set }
38          | BINDING of symbol * value
39          | LAYER of env * env
40    
41        withtype value = env
42    
43      fun describeNode (PNODE p) = Primitive.toString p      fun describeNode (PNODE p) = Primitive.toString p
44        | describeNode (NODE { smlinfo, ... }) = SmlInfo.describe smlinfo        | describeNode (NODE { smlinfo, ... }) = SmlInfo.describe smlinfo

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

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