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/compiler/TopLevel/environ/symenv.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/environ/symenv.sml

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

revision 44, Sun Mar 22 20:10:57 1998 UTC revision 45, Sun Mar 22 20:11:09 1998 UTC
# Line 1  Line 1 
1  (* symenv.sml  (* COPYRIGHT (c) 1995 by Bell Laboratories *)
2   *  (* symenv.sml *)
  * COPYRIGHT (c) 1995 by AT&T Bell Laboratories  
  *)  
3    
4  structure SymbolicEnv: SYMENV = struct  structure SymbolicEnv: SYMENV =
5    struct
6      type lambda = Lambda.lexp    type flint = CompBasic.flint
7      type pid = PersStamps.persstamp      type pid = PersStamps.persstamp
8      type symenv = lambda PersMap.map    type symenv = flint PersMap.map
9    
10      val empty = PersMap.empty      val empty = PersMap.empty
11      fun look e p = SOME (PersMap.lookup e p) handle PersMap.MapF => NONE
     fun look e p =  
         SOME (PersMap.lookup e p) handle PersMap.MapF => NONE  
   
12      fun bind (p, l, e) = PersMap.add (e, p, l)      fun bind (p, l, e) = PersMap.add (e, p, l)
   
13      fun atop (e1, e2) = PersMap.overlay (e1, e2)      fun atop (e1, e2) = PersMap.overlay (e1, e2)
   
14      fun remove (pl, e) = foldr PersMap.delete e pl      fun remove (pl, e) = foldr PersMap.delete e pl
   
15      fun consolidate e = e      fun consolidate e = e
   
16      fun singleton (p, l) = bind (p, l, empty)      fun singleton (p, l) = bind (p, l, empty)
17    
18  end  end (* structure SymbolicEnv *)
19    
 (*  
  * $Log: symenv.sml,v $  
  * Revision 1.1.1.1  1997/01/14  01:38:37  george  
  *   Version 109.24  
  *  
  *)  

Legend:
Removed from v.44  
changed lines
  Added in v.45

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