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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 228 - (download) (annotate)
Sat Apr 17 17:15:03 1999 UTC (21 years, 3 months ago) by monnier
File size: 563 byte(s)
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.
(* COPYRIGHT (c) 1995 by Bell Laboratories *)
(* symenv.sml *)

structure SymbolicEnv: SYMENV = 
struct
  type flint = CompBasic.flint
  type pid = PersStamps.persstamp
  type symenv = flint PersMap.map

  val empty = PersMap.empty
  fun look e p = SOME (PersMap.lookup e p) handle PersMap.MapF => NONE
  fun bind (p, l, e) = PersMap.add (e, p, l)
  fun atop (e1, e2) = PersMap.overlay (e1, e2)
  fun remove (pl, e) = foldr PersMap.delete e pl
  fun consolidate e = e
  fun singleton (p, l) = bind (p, l, empty)

end (* structure SymbolicEnv *)


(*
 * $Log$
 *)

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