1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
// #![feature(unsafe_destructor, macro_rules, phase, globs, default_type_params)] // #![feature(unboxed_closures)] // #![feature(box_syntax)] // #![feature(box_patterns)] // #![feature(hash)] // #![feature(old_orphan_check)] //! Adapton for Rust // #![feature(test)] #[macro_use] pub mod adapton_syntax ; pub mod adapton_sigs ; pub mod adapton_state ; pub mod structures ; // pub mod fact ; mod adapton { pub use super::*; }