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

Annotation of /sml/trunk/src/compiler/Semant/statenv/statenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* Copyright 1992 by AT&T Bell Laboratories *)
2 :     (* env/statenv.sig *)
3 :    
4 :     signature STATICENV =
5 :     sig
6 :    
7 :     type staticEnv
8 :     type binding
9 :     exception Unbound
10 :     exception SpecialEnv
11 :    
12 :     val empty: staticEnv
13 :     val look: staticEnv * Symbol.symbol -> binding
14 :     val bind: Symbol.symbol * binding * staticEnv -> staticEnv
15 :     val special: (Symbol.symbol -> binding) * (unit -> Symbol.symbol list)
16 :     -> staticEnv
17 :    
18 :     val atop: staticEnv * staticEnv -> staticEnv
19 :     val consolidate: staticEnv -> staticEnv
20 :     val consolidateLazy: staticEnv -> staticEnv
21 :     val app: (Symbol.symbol * binding -> unit) -> staticEnv -> unit
22 :     val map: (binding -> binding) -> staticEnv -> staticEnv
23 :     val fold: ((Symbol.symbol * binding) * 'a -> 'a) -> 'a -> staticEnv -> 'a
24 :     val sort: staticEnv -> (Symbol.symbol * binding) list
25 :    
26 :     end (* signature STATICENV *)
27 :    
28 :    
29 :     (*
30 :     * $Log: statenv.sig,v $
31 :     * Revision 1.2 1997/08/15 20:40:48 dbm
32 :     * Introduced new consolidateLazy, used by Environment.concatEnv.
33 :     *
34 :     * Revision 1.1.1.1 1997/01/14 01:38:37 george
35 :     * Version 109.24
36 :     *
37 :     *)

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