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