diff options
| author | Nadrieril | 2019-04-20 23:13:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 23:13:15 +0200 |
| commit | b31690a87e2963d4093210a2c58735a2095e651d (patch) | |
| tree | d6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /dhall/src/lib.rs | |
| parent | 9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff) | |
| parent | 83bc67d4572fe7961842f915d5559ee489e13dfd (diff) | |
Merge branch 'whnf'
Massive normalization rewrite, for greatly improved flexibility
and performance.
Closes #84
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 544df6e..c85b962 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -3,6 +3,7 @@ #![feature(slice_patterns)] #![feature(label_break_value)] #![feature(non_exhaustive)] +#![feature(bind_by_move_pattern_guards)] #![cfg_attr(test, feature(custom_inner_attributes))] #![allow( clippy::type_complexity, |