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

Diff of /sml/branches/SMLNJ/src/compiler/TopLevel/environ/symenv.sml

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

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

Legend:
Removed from v.23  
changed lines
  Added in v.24

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