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 114 - (download) (annotate)
Fri Jun 5 19:41:21 1998 UTC (23 years ago) by monnier
File size: 563 byte(s)
This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.
(* COPYRIGHT (c) 1995 by Bell Laboratories *)
(* symenv.sml *)

structure SymbolicEnv: SYMENV = 
  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$

ViewVC Help
Powered by ViewVC 1.0.0