Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/TopLevel/environ/symenv.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 224 - (view) (download)

1 : monnier 45 (* COPYRIGHT (c) 1995 by Bell Laboratories *)
2 :     (* symenv.sml *)
3 : monnier 16
4 : monnier 45 structure SymbolicEnv: SYMENV =
5 :     struct
6 :     type flint = CompBasic.flint
7 :     type pid = PersStamps.persstamp
8 :     type symenv = flint PersMap.map
9 : monnier 16
10 : monnier 45 val empty = PersMap.empty
11 :     fun look e p = SOME (PersMap.lookup e p) handle PersMap.MapF => NONE
12 :     fun bind (p, l, e) = PersMap.add (e, p, l)
13 :     fun atop (e1, e2) = PersMap.overlay (e1, e2)
14 :     fun remove (pl, e) = foldr PersMap.delete e pl
15 :     fun consolidate e = e
16 :     fun singleton (p, l) = bind (p, l, empty)
17 : monnier 16
18 : monnier 45 end (* structure SymbolicEnv *)
19 : monnier 16
20 : monnier 93
21 :     (*
22 : monnier 223 * $Log: symenv.sml,v $
23 :     * Revision 1.1.1.1 1998/04/08 18:39:15 george
24 :     * Version 110.5
25 :     *
26 : monnier 93 *)

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