diff options
| author | Patrick Walton <[email protected]> | 2011-03-25 11:10:50 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2011-03-25 11:11:21 -0700 |
| commit | e2d6475308481a43facb0e95e9535c5602bf54f2 (patch) | |
| tree | 7953ea0a80b10457168af8a4e2411863bf6cc122 /src/comp/driver | |
| parent | Update pretty printer for ports, channels, send and receive (diff) | |
| download | rust-e2d6475308481a43facb0e95e9535c5602bf54f2.tar.xz rust-e2d6475308481a43facb0e95e9535c5602bf54f2.zip | |
rustc: Store cached crate metadata in the session
Diffstat (limited to 'src/comp/driver')
| -rw-r--r-- | src/comp/driver/session.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/comp/driver/session.rs b/src/comp/driver/session.rs index 7ad83dc1..f6ad590f 100644 --- a/src/comp/driver/session.rs +++ b/src/comp/driver/session.rs @@ -77,6 +77,10 @@ obj session(cfg targ, map.hashmap[int, crate_metadata] crates) { fn set_external_crate(int num, &crate_metadata metadata) { crates.insert(num, metadata); } + + fn has_external_crate(int num) -> bool { + ret crates.contains_key(num); + } } |