diff options
author | Nadrieril | 2019-03-14 00:58:46 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-14 00:58:46 +0100 |
commit | 8c34c3bbc2fc520cce78fd445bdbc3192ce91abf (patch) | |
tree | 6082788efb015482855174a17bdda9144fcc9208 /dhall/src/lib.rs | |
parent | 17042b866ad7760e782e15937ecd9458af721576 (diff) |
Implement binary decoding
Closes #2
Closes #23
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index a8643bb..f976c65 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,6 +1,7 @@ #![feature(box_patterns)] #![feature(trace_macros)] #![feature(proc_macro_hygiene)] +#![feature(slice_patterns)] #![allow( clippy::type_complexity, clippy::infallible_destructuring_match, @@ -9,6 +10,7 @@ mod normalize; pub use crate::normalize::*; +pub mod binary; pub mod imports; pub mod typecheck; |