SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/depend/build.sml
Diff of /sml/trunk/src/cm/depend/build.sml
Parent Directory
| 
Revision Log
| 
Patch
| 198 |
* As a side effect, this function registers local and |
* As a side effect, this function registers local and |
| 199 |
* global imports. *) |
* global imports. *) |
| 200 |
fun lookimport s = let |
fun lookimport s = let |
| 201 |
fun internalError s = |
fun internalError m s = |
| 202 |
EM.impossible "build/lookimport/lookfar" |
EM.impossible ("build/lookimport/" ^ m) |
| 203 |
fun lookfar () = |
fun lookfar () = |
| 204 |
case SM.find (imports, s) of |
case SM.find (imports, s) of |
| 205 |
SOME (farn, e) => (globalImport farn; |
SOME (farn, e) => (globalImport farn; |
| 206 |
look internalError e s) |
look (internalError "far") e s) |
| 207 |
| NONE => |
| NONE => |
| 208 |
(* We could complain here about an undefined |
(* We could complain here about an undefined |
| 209 |
* name. However, since CM doesn't have the |
* name. However, since CM doesn't have the |
| 219 |
val (n, e) = getResult (i', (s, i) :: history) |
val (n, e) = getResult (i', (s, i) :: history) |
| 220 |
in |
in |
| 221 |
localImport n; |
localImport n; |
| 222 |
e |
look (internalError "local") e s |
| 223 |
end |
end |
| 224 |
| NONE => lookfar () |
| NONE => lookfar () |
| 225 |
end |
end |
|
|
Legend:
| Removed from v.395 |
|
| changed lines |
| |
Added in v.396 |
|
|
