Fix two invalid import cases we were not detecting:

* If an import was unused we would never print any errors for it.
* We would keep the existing environment in scope when descending 'foo.bar'
  and would find 'bar' in the global environment if there was no 'bar' in
  'foo'.

3 files changed, 28 insertions, 5 deletions

diff --git a/src/test/compile-fail/import.rs b/src/test/compile-fail/import.rs
new file mode 100644
index 00000000..71ef0dec
--- /dev/null
+++ b/src/test/compile-fail/import.rs
@@ -0,0 +1,11 @@
+// error-pattern: unresolved name: baz
+import zed.bar;
+import zed.baz;
+mod zed {
+  fn bar() {
+    log "bar";
+  }
+}
+fn main(vec[str] args) {
+   bar();
+}
diff --git a/src/test/compile-fail/import2.rs b/src/test/compile-fail/import2.rs
new file mode 100644
index 00000000..5a9ddcbd
--- /dev/null
+++ b/src/test/compile-fail/import2.rs
@@ -0,0 +1,12 @@
+// error-pattern: unresolved name: zed
+import baz.zed.bar;
+mod baz {
+}
+mod zed {
+  fn bar() {
+    log "bar3";
+  }
+}
+fn main(vec[str] args) {
+  bar();
+}
diff --git a/src/test/run-pass/use.rs b/src/test/run-pass/use.rs
index 8638d609..ac46061c 100644
--- a/src/test/run-pass/use.rs
+++ b/src/test/run-pass/use.rs
@@ -3,9 +3,9 @@ use libc();
 use zed(name = "std");
 use bar(name = "std", ver = "0.0.1");
 
-import std._str;
-import x = std._str;
-
+// FIXME: commented out since resolve doesn't know how to handle crates yet.
+// import std._str;
+// import x = std._str;
 
 mod baz {
   use std;
@@ -13,8 +13,8 @@ mod baz {
   use zed(name = "std");
   use bar(name = "std", ver = "0.0.1");
 
-  import std._str;
-  import x = std._str;
+  // import std._str;
+  // import x = std._str;
 }
 
 fn main() {