blob: 66c6e5b29d5b9b787ba1fd88a8ea72dacb0a0cea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#![feature(trace_macros)]
#![feature(slice_patterns)]
#![feature(never_type)]
#![allow(
clippy::type_complexity,
clippy::infallible_destructuring_match,
clippy::many_single_char_names,
clippy::match_wild_err_arm,
clippy::redundant_closure,
clippy::ptr_arg
)]
mod tests;
pub mod core;
pub mod error;
pub mod phase;
pub mod syntax {
pub use dhall_syntax::*;
}
|