aboutsummaryrefslogtreecommitdiff
path: root/src/test/run-pass/export-unexported-dep.rs
blob: dcb88af2f73d42c80db0c25bbdbcc972aa69136c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
// 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) {
    assert v == t1;
  }
}

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