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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* COPYRIGHT (c) 1996 Bell Laboratories *)
2 :     (* scstatenv.sig *)
3 :    
4 :     signature SCSTATICENV =
5 :     sig
6 :    
7 :     type staticEnv
8 :     val empty : staticEnv
9 :    
10 :     val atop : staticEnv * staticEnv -> staticEnv
11 :     val consolidate : staticEnv -> staticEnv
12 :     val unSC : staticEnv -> StaticEnv.staticEnv
13 :     val SC : StaticEnv.staticEnv -> staticEnv
14 :     val adjSC : staticEnv list * StaticEnv.staticEnv -> staticEnv
15 :    
16 :     val lookSTR: staticEnv -> ModuleId.modId -> Modules.Structure option
17 :     val lookSIG: staticEnv -> ModuleId.modId -> Modules.Signature option
18 :     val lookFSIG: staticEnv -> ModuleId.modId -> Modules.fctSig option
19 :     val lookFCT: staticEnv -> ModuleId.modId -> Modules.Functor option
20 :     val lookTYC: staticEnv -> ModuleId.modId -> Types.tycon option
21 :     val lookEENV: staticEnv -> ModuleId.modId -> Modules.entityEnv option
22 :    
23 :     val debugging : bool ref
24 :    
25 :     end (* signature SCSTATICENV *)
26 :    
27 :     (*
28 :     * $Log: scstatenv.sig,v $
29 :     * Revision 1.3 1997/08/11 18:30:22 george
30 :     * Simplified the modmap handling by no longer paying attention to
31 :     * space leak problems. Such problems don't matter in this version,
32 :     * because modmaps aren't used for the top-level environment.
33 :     * -- blume
34 :     *
35 :     * Revision 1.2 1997/02/26 21:50:29 george
36 :     * Fix the BUG 1116 about very slow top-level interactive loop, reported
37 :     * by Larry Paulson (Dave, if you have HOL with you, can you test this out?)
38 :     *
39 :     *)

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