SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/compile/link.sml
Diff of /sml/trunk/src/cm/compile/link.sml
Parent Directory
|
Revision Log
|
Patch
220 |
end |
end |
221 |
in |
in |
222 |
case StableMap.find (!stablemap, i) of |
case StableMap.find (!stablemap, i) of |
223 |
SOME (B (f, i, l)) => (f, SOME (i, l)) |
SOME (B (f, i, [])) => |
224 |
|
(case BinInfo.sh_mode i of |
225 |
|
Sharing.DONTSHARE => (f, SOME (i, [])) |
226 |
|
| _ => (f, NONE)) |
227 |
|
| SOME (B (f, i, l)) => (f, SOME (i, l)) |
228 |
| NONE => |
| NONE => |
229 |
(case StableMap.find (!localmap, i) of |
(case StableMap.find (!localmap, i) of |
230 |
SOME x => x |
SOME x => x |
|
Legend:
Removed from v.400 |
|
changed lines |
|
Added in v.401 |
|
|