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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 113 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/Semant/modules/moduleutil.sig

1 : monnier 16 (* 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 :     * Symbol.symbol * Access.access * InlInfo.inl_info
20 :     -> Modules.Structure * EntPath.entVar
21 :    
22 :     val getFct : Modules.elements * Modules.entityEnv
23 :     * Symbol.symbol * Access.access * InlInfo.inl_info
24 :     -> 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 -> Symbol.symbol option
48 :    
49 :     val eqSign : Modules.Signature * Modules.Signature -> bool
50 :     val eqOrigin : Modules.Structure * Modules.Structure -> bool
51 :    
52 :     val tycId : Types.tycon -> ModuleId.modId
53 :     val strId: Modules.Structure -> ModuleId.modId
54 :     val strId2: Modules.Signature * Modules.strEntity -> ModuleId.modId
55 :     val fctId: Modules.Functor -> ModuleId.modId
56 :     val fctId2: Modules.fctSig * Modules.fctEntity -> ModuleId.modId
57 :    
58 :     (*** translate tycon or type in an entityEnv ***)
59 :     val transTycon : Modules.entityEnv -> Types.tycon -> Types.tycon
60 :     val transType : Modules.entityEnv -> Types.ty -> Types.ty
61 :    
62 :     (*** relativize type or tycon in an epcontext ***)
63 :     val relativizeTyc : EntPathContext.context -> Types.tycon -> Types.tycon * bool
64 :     val relativizeType : EntPathContext.context -> Types.ty -> Types.ty * bool
65 :    
66 :     val openStructure : StaticEnv.staticEnv * Modules.Structure ->
67 :     StaticEnv.staticEnv
68 :    
69 :     (*** extract inl_info from a list of bindings *)
70 :     val extractInfo : Bindings.binding -> InlInfo.inl_info
71 :    
72 :     val getSigSymbols: Modules.Signature -> Symbol.symbol list
73 :    
74 :     val getSignatureNames : Modules.Structure -> Symbol.symbol list
75 :    
76 :     val debugging : bool ref
77 :    
78 :     end (* signature MODULEUTIL *)
79 :    
80 :    
81 :    
82 :     (*
83 : monnier 113 * $Log$
84 : monnier 16 *)

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