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 224 - (download) (annotate)
Sat Apr 17 16:27:01 1999 UTC (22 years, 5 months ago) by monnier
File size: 647 byte(s)
This commit was generated by cvs2svn to compensate for changes in r223,
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: symenv.sml,v $
 * Revision  1998/04/08 18:39:15  george
 * Version 110.5

ViewVC Help
Powered by ViewVC 1.0.0