28 |
-> collection |
-> collection |
29 |
val sequential : collection * collection * (string -> unit) -> collection |
val sequential : collection * collection * (string -> unit) -> collection |
30 |
|
|
31 |
|
val build : collection |
32 |
|
-> { nodemap: DependencyGraph.node SymbolMap.map, |
33 |
|
rootset: DependencyGraph.node list } |
34 |
|
|
35 |
|
|
36 |
val num_look : collection -> string -> int |
val num_look : collection -> string -> int |
37 |
val ml_look : collection -> symbol -> bool |
val ml_look : collection -> symbol -> bool |
38 |
val cm_look : collection -> string -> bool |
val cm_look : collection -> string -> bool |
94 |
val se_union = SymbolMap.unionWithi se_error |
val se_union = SymbolMap.unionWithi se_error |
95 |
fun ld_error (s, f1, f2) = |
fun ld_error (s, f1, f2) = |
96 |
(error (concat (describeSymbol |
(error (concat (describeSymbol |
97 |
(s, [" defined in ", SmlInfo.describe f1, |
(s, [" defined in ", SmlInfo.spec f1, |
98 |
" and also in ", SmlInfo.describe f2]))); |
" and also in ", SmlInfo.spec f2]))); |
99 |
f1) |
f1) |
100 |
val ld_union = SymbolMap.unionWithi ld_error |
val ld_union = SymbolMap.unionWithi ld_error |
101 |
in |
in |
152 |
| NONE => noPrimitive () |
| NONE => noPrimitive () |
153 |
end |
end |
154 |
|
|
155 |
|
fun build (COLLECTION c) = BuildDepend.build c |
156 |
|
|
157 |
fun num_look (c: collection) (s: string) = 0 |
fun num_look (c: collection) (s: string) = 0 |
158 |
|
|
159 |
fun cm_look (c: collection) (s: string) = false |
fun cm_look (c: collection) (s: string) = false |