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