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/branches/primop-branch-2/src/compiler/ElabData/modules/moduleutil.sig
ViewVC logotype

Annotation of /sml/branches/primop-branch-2/src/compiler/ElabData/modules/moduleutil.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 903 (* COPYRIGHT (c) 1996 Bell Laboratories. *)
2 :     (* moduleutil.sig *)
3 :    
4 :     signature MODULEUTIL =
5 :     sig
6 :    
7 :     exception Unbound of Symbol.symbol
8 :    
9 :     val getSpec : Modules.elements * Symbol.symbol -> Modules.spec
10 :     val getSpecVar : Modules.spec -> EntPath.entVar option
11 :    
12 :     val strDefToStr : Modules.strDef * Modules.entityEnv -> Modules.Structure
13 :    
14 :     (*** getTyc, getStr and getFct are used in modules/sigmatch.sml only ***)
15 :     val getTyc : Modules.elements * Modules.entityEnv * Symbol.symbol
16 :     -> Types.tycon * EntPath.entVar
17 :    
18 :     val getStr : Modules.elements * Modules.entityEnv
19 : georgekuan 1957 * Symbol.symbol * Access.access * PrimOpId.strPrimElem
20 : blume 903 -> Modules.Structure * EntPath.entVar
21 :    
22 :     val getFct : Modules.elements * Modules.entityEnv
23 : georgekuan 1957 * Symbol.symbol * Access.access * PrimOpId.strPrimElem
24 : blume 903 -> Modules.Functor * EntPath.entVar
25 :    
26 :     (*** these functions are used in eqtypes.sml ***)
27 :     val getStrStamp : Modules.Structure -> Stamps.stamp
28 :     val getStrName : Modules.Structure -> InvPath.path
29 :     val getStrs : Modules.Structure -> Modules.Structure list
30 :     val getTycs : Modules.Structure -> Types.tycon list
31 :     val getStrSymbols : Modules.Structure -> Symbol.symbol list
32 :    
33 :     (*** these functions should be called in env/lookup.sml only ***)
34 :     val getStrPath : Modules.Structure * SymPath.path * SymPath.path
35 :     -> Modules.Structure
36 :    
37 :     val getStrDef : Modules.Structure * SymPath.path * SymPath.path
38 :     -> Modules.strDef
39 :    
40 :     val getFctPath : Modules.Structure * SymPath.path * SymPath.path
41 :     -> Modules.Functor
42 :     val getTycPath : Modules.Structure * SymPath.path * SymPath.path
43 :     -> Types.tycon
44 :     val getValPath : Modules.Structure * SymPath.path * SymPath.path
45 :     -> VarCon.value
46 :    
47 :     val checkPathSig : Modules.Signature * SymPath.path
48 :     -> Symbol.symbol option
49 :    
50 :     val eqSign : Modules.Signature * Modules.Signature -> bool
51 :     val eqOrigin : Modules.Structure * Modules.Structure -> bool
52 :    
53 :     val tycId : Types.tycon -> ModuleId.tycId
54 :     val strId: Modules.Structure -> ModuleId.strId
55 :     val strId2: Modules.Signature * Modules.strEntity -> ModuleId.strId
56 :     val fctId: Modules.Functor -> ModuleId.fctId
57 :     val fctId2: Modules.fctSig * Modules.fctEntity -> ModuleId.fctId
58 :    
59 :     (*** translate tycon or type in an entityEnv ***)
60 :     val transTycon : Modules.entityEnv -> Types.tycon -> Types.tycon
61 :     val transType : Modules.entityEnv -> Types.ty -> Types.ty
62 :    
63 :     (*** relativize type or tycon in an epcontext ***)
64 :     val relativizeTyc : EntPathContext.context -> Types.tycon -> Types.tycon * bool
65 :     val relativizeType : EntPathContext.context -> Types.ty -> Types.ty * bool
66 :    
67 :     val openStructure : StaticEnv.staticEnv * Modules.Structure
68 :     -> StaticEnv.staticEnv
69 :    
70 :     (*** extract inl_info from a list of bindings *)
71 : georgekuan 1959 val strPrimElemInBinds : Bindings.binding list -> PrimOpId.strPrimElem
72 : blume 903
73 :     val getSigSymbols: Modules.Signature -> Symbol.symbol list
74 :    
75 :     val getSignatureNames : Modules.Structure -> Symbol.symbol list
76 :    
77 :     val debugging : bool ref
78 :    
79 :     end (* signature MODULEUTIL *)
80 :    
81 :    
82 :    

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