diff options
author | Nadrieril | 2019-04-19 14:42:36 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-19 14:42:36 +0200 |
commit | 4bed7b11e227a3151a2ff9e74f9662c126aad5a4 (patch) | |
tree | 789479787c3652d9adce1511a37fbee69d9a73a7 /dhall_core/src/visitor.rs | |
parent | 759705047eea74f538883c15b6abd3292bbebb13 (diff) |
Make App() only store one argument
Diffstat (limited to 'dhall_core/src/visitor.rs')
-rw-r--r-- | dhall_core/src/visitor.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/dhall_core/src/visitor.rs b/dhall_core/src/visitor.rs index 16ad418..9111414 100644 --- a/dhall_core/src/visitor.rs +++ b/dhall_core/src/visitor.rs @@ -130,9 +130,7 @@ where let (l, e) = v.visit_binder(l, e)?; Let(l, t, a, e) } - App(f, args) => { - App(v.visit_subexpr(f)?, vec(args, |e| v.visit_subexpr(e))?) - } + App(f, a) => App(v.visit_subexpr(f)?, v.visit_subexpr(a)?), Annot(x, t) => Annot(v.visit_subexpr(x)?, v.visit_subexpr(t)?), Const(k) => Const(*k), Builtin(v) => Builtin(*v), |