diff options
author | Nadrieril | 2019-05-02 17:23:40 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 17:23:40 +0200 |
commit | 9d3c0d6aa23e4123515a1d7e949fc71509db803c (patch) | |
tree | d657fd50678dd8a562621d91c3caecbb2396fc7a /dhall/src/lib.rs | |
parent | 9042db26ced0c56714c48bf2f6322e0a1c2a6973 (diff) | |
parent | 17ab417aeb5aea6cd21240a491607b9017194737 (diff) |
Merge branch 'refactor-typechecking'
Diffstat (limited to 'dhall/src/lib.rs')
-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 c85b962..6e4361f 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -4,6 +4,8 @@ #![feature(label_break_value)] #![feature(non_exhaustive)] #![feature(bind_by_move_pattern_guards)] +#![feature(try_trait)] +#![feature(inner_deref)] #![cfg_attr(test, feature(custom_inner_attributes))] #![allow( clippy::type_complexity, |