diff options
author | Nadrieril Feneanar | 2019-03-20 23:18:04 +0100 |
---|---|---|
committer | GitHub | 2019-03-20 23:18:04 +0100 |
commit | c15c71b4fb390913914c7669d906dc892078df7c (patch) | |
tree | acc2a21c064fb62631c076d8c135ae929ce07542 /dhall_core/src/lib.rs | |
parent | 049f1f12bcf3013e31b179fd469a4ff0f61bf831 (diff) | |
parent | 4d616450d6883e68672a91f447999660fa17636c (diff) |
Merge pull request #34 from Nadrieril/rewrite-parser-macros
Rewrite parser macros
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index c728a75..6215456 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -1,4 +1,5 @@ #![feature(trace_macros)] +#![feature(slice_patterns)] #![allow( clippy::many_single_char_names, clippy::should_implement_trait, |