From 22aa5de3fb5836daf066add3e128173bbd396003 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 15 Mar 2019 23:41:04 +0100
Subject: Store a vec in App

Closes #26
---
 dhall_core/src/parser.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'dhall_core/src/parser.rs')

diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs
index ddf3f8f..02242bf 100644
--- a/dhall_core/src/parser.rs
+++ b/dhall_core/src/parser.rs
@@ -746,7 +746,12 @@ rule!(annotated_expression<BoxExpr>;
 
 rule!(application_expression<BoxExpr>;
     children!(first: expression, rest*: expression) => {
-        rest.fold(first, |acc, e| bx(Expr::App(acc, e)))
+        let rest: Vec<_> = rest.map(|x| *x).collect();
+        if rest.is_empty() {
+            first
+        } else {
+            bx(Expr::App(first, rest))
+        }
     }
 );
 
-- 
cgit v1.2.3