diff options
| author | Nadrieril | 2019-03-05 12:19:15 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-05 12:19:15 +0100 |
| commit | 29b62de572ba756d162671e3cd16eb8b11408b00 (patch) | |
| tree | 6ffad0317aab87962098c7e18436139e9991890f /dhall/src/lib.rs | |
| parent | 4314421924c256ab13f5a630aff2596c480f6a66 (diff) | |
Allow empty match in match_children!
Diffstat (limited to 'dhall/src/lib.rs')
| -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 9dbd3a6..7cc96e1 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,4 +1,5 @@ #![feature(box_patterns)] +#![feature(trace_macros)] pub mod context; mod core; |