2015-08-01 00:20:25 -05:00
|
|
|
#![crate_name = "foo"]
|
|
|
|
|
|
|
|
pub mod io {
|
|
|
|
pub trait Reader { fn dummy(&self) { } }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub enum Maybe<A> {
|
|
|
|
Just(A),
|
|
|
|
Nothing
|
|
|
|
}
|
|
|
|
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has foo/prelude/index.html
|
2015-08-01 00:20:25 -05:00
|
|
|
pub mod prelude {
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has foo/prelude/index.html '//code' 'pub use io as FooIo;'
|
|
|
|
//@ has foo/prelude/index.html '//code' 'pub use io::Reader as FooReader;'
|
2015-08-01 00:20:25 -05:00
|
|
|
#[doc(no_inline)] pub use io::{self as FooIo, Reader as FooReader};
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has foo/prelude/index.html '//code' 'pub use Maybe;'
|
|
|
|
//@ has foo/prelude/index.html '//code' 'pub use Maybe::Just as MaybeJust;'
|
|
|
|
//@ has foo/prelude/index.html '//code' 'pub use Maybe::Nothing;'
|
2015-08-01 00:20:25 -05:00
|
|
|
#[doc(no_inline)] pub use Maybe::{self, Just as MaybeJust, Nothing};
|
|
|
|
}
|