81 |
in |
in |
82 |
Symbol.nameSpaceToString ns :: " " :: Symbol.name s :: r |
Symbol.nameSpaceToString ns :: " " :: Symbol.name s :: r |
83 |
end |
end |
84 |
fun se_error (s, x as ((_, n1), _), ((_, n2), _)) = |
fun se_error (s, x as (fn1, _), (fn2, _)) = |
85 |
(error (concat (describeSymbol |
(error (concat (describeSymbol |
86 |
(s, [" imported from ", DG.describeNode n1, |
(s, [" imported from ", DG.describeFarNode fn1, |
87 |
" and also from ", DG.describeNode n2]))); |
" and also from ", DG.describeFarNode fn2]))); |
88 |
x) |
x) |
89 |
val se_union = SymbolMap.unionWithi se_error |
val se_union = SymbolMap.unionWithi se_error |
90 |
fun ld_error (s, f1, f2) = |
fun ld_error (s, f1, f2) = |
136 |
val cmenv = Primitive.lookup p s |
val cmenv = Primitive.lookup p s |
137 |
val env = convertEnv cmenv |
val env = convertEnv cmenv |
138 |
in |
in |
139 |
SymbolMap.insert (m, s, ((NONE, DG.PNODE p), env)) |
SymbolMap.insert (m, s, (DG.PNODE p, env)) |
140 |
end |
end |
141 |
val se = SymbolSet.foldl addFN SymbolMap.empty exports |
val se = SymbolSet.foldl addFN SymbolMap.empty exports |
142 |
in |
in |