// This tests that exports can have visible dependencies on things
// that are not exported, allowing for a sort of poor-man's ADT

mod foo {
  export f;
  export g;

  // not exported
  tag t {
    t1;
  }

  fn f() -> t {
    ret t1;
  }

  fn g(t v) {
    check (v == t1);
  }
}

fn main() {
  foo.g(foo.f());
}