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/dynenv.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/environ/dynenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 879 - (view) (download) (as text)

1 : monnier 249 (* Copyright 1996 by Bell Laboratories *)
2 :     (* dynenv.sig *)
3 :    
4 :     signature DYNENV =
5 :     sig
6 : blume 879 type object = Unsafe.Object.object
7 : monnier 249 type dynenv
8 :     exception Unbound
9 :     exception SpecialEnv
10 :     val empty: dynenv
11 :     val special: (PersStamps.persstamp -> object) * dynenv -> dynenv
12 :     val look: dynenv -> PersStamps.persstamp -> object
13 :     val bind: PersStamps.persstamp * object * dynenv -> dynenv
14 :    
15 :     val atop: dynenv * dynenv -> dynenv (* atop(e1,e2): place e1 on top of e2 *)
16 :    
17 :     val remove: PersStamps.persstamp list * dynenv -> dynenv
18 :     val consolidate: dynenv -> dynenv
19 :     val singleton: PersStamps.persstamp * object -> dynenv
20 :    
21 :     end (* signature DYNENV *)
22 :    
23 :    

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