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

View of /sml/branches/SMLNJ/src/compiler/TopLevel/environ/dynenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 24 - (download) (as text) (annotate)
Thu Mar 12 00:49:58 1998 UTC (21 years, 6 months ago) by monnier
File size: 858 byte(s)
*** empty log message ***
(* Copyright 1996 by AT&T Bell Laboratories *)
(* dynenv.sig *)

signature DYNENV =
sig
  type object (* = Unsafe.Object.object *)
  type dynenv
  exception Unbound  
  exception SpecialEnv
  val empty: dynenv
  val special: (PersStamps.persstamp -> object) * dynenv -> dynenv
  val look: dynenv -> PersStamps.persstamp -> object
  val bind: PersStamps.persstamp * object * dynenv -> dynenv

  val atop: dynenv * dynenv -> dynenv (* atop(e1,e2): place e1 on top of e2 *)

  val remove: PersStamps.persstamp list * dynenv -> dynenv
  val consolidate: dynenv -> dynenv
  val singleton: PersStamps.persstamp * object -> dynenv

end (* signature DYNENV *)

(*
 * $Log: dynenv.sig,v $
 * Revision 1.2  1997/06/30  19:37:22  jhr
 *   Removed System structure; added Unsafe structure.
 *
 * Revision 1.1.1.1  1997/01/14  01:38:36  george
 *   Version 109.24
 *
 *)

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