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

Annotation of /sml/trunk/src/compiler/Semant/modules/entityenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* Copyright 1996 by AT&T Bell Laboratories *)
2 :     (* entityenv.sig *)
3 :    
4 :     signature ENTITY_ENV =
5 :     sig
6 :    
7 :     type entVar = EntPath.entVar
8 :     type entPath = EntPath.entPath
9 :     type entityEnv = Modules.entityEnv
10 :    
11 :     exception Unbound
12 :    
13 :     val empty : entityEnv
14 :     val mark : ((unit->Stamps.stamp) * entityEnv) -> entityEnv
15 :     val bind : entVar * Modules.entity * entityEnv -> entityEnv
16 :     val atop : entityEnv * entityEnv -> entityEnv
17 :     val atopSp : entityEnv * entityEnv -> entityEnv
18 :    
19 :     val toList : entityEnv -> (entVar * Modules.entity) list
20 :    
21 :     val look : entityEnv * entVar -> Modules.entity
22 :     val lookStrEnt : entityEnv * entVar -> Modules.strEntity
23 :     val lookTycEnt : entityEnv * entVar -> Modules.tycEntity
24 :     val lookFctEnt : entityEnv * entVar -> Modules.fctEntity
25 :    
26 :     val lookEP : entityEnv * entPath -> Modules.entity
27 :     val lookTycEP : entityEnv * entPath -> Modules.tycEntity
28 :     val lookStrEP : entityEnv * entPath -> Modules.strEntity
29 :     val lookFctEP : entityEnv * entPath -> Modules.fctEntity
30 :    
31 :     val debugging : bool ref
32 :    
33 :     end (* signature ENTITY_ENV *)
34 :    
35 :     (*
36 :     * $Log: entityenv.sig,v $
37 :     * Revision 1.2 1997/09/23 03:51:58 dbm
38 :     * Added function atopSp (EntityEnv.Unbound fix).
39 :     *
40 :     * Revision 1.1.1.1 1997/01/14 01:38:41 george
41 :     * Version 109.24
42 :     *
43 :     *)

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