blob: 86af98f320cea7a9dcf78caabfd8e0e125c6c9a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![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 semantics;
pub mod syntax {
pub use dhall_syntax::*;
}
|