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 285, Wed May 19 23:31:25 1999 UTC revision 286, Fri May 21 07:47:16 1999 UTC
# Line 7  Line 7 
7   *)   *)
8  structure DependencyGraph = struct  structure DependencyGraph = struct
9    
     type symbol = Symbol.symbol  
10      type primitive = Primitive.primitive      type primitive = Primitive.primitive
11    
12      type filter = SymbolSet.set option      type filter = SymbolSet.set option
# Line 33  Line 32 
32    
33      withtype farsbnode = sbnode filtered      withtype farsbnode = sbnode filtered
34    
35      (* environments used for dependency analysis *)      type impexp = farsbnode * DAEnv.env
     datatype env =  
         EMPTY  
       | FCTENV of { looker: symbol -> value option,  
                     domain: unit -> SymbolSet.set }  
       | BINDING of symbol * value  
       | LAYER of env * env  
   
     withtype value = env  
   
     type impexp = farsbnode * env  
36    
37      fun describeSBN (SB_BNODE (PNODE p)) = Primitive.toString p      fun describeSBN (SB_BNODE (PNODE p)) = Primitive.toString p
38        | describeSBN (SB_BNODE (BNODE { bininfo = i, ... })) =        | describeSBN (SB_BNODE (BNODE { bininfo = i, ... })) =

Legend:
Removed from v.285  
changed lines
  Added in v.286

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