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/core.rs | |
parent | 759705047eea74f538883c15b6abd3292bbebb13 (diff) |
Make App() only store one argument
Diffstat (limited to 'dhall_core/src/core.rs')
-rw-r--r-- | dhall_core/src/core.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 56ab66c..ab29148 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -150,7 +150,7 @@ pub enum ExprF<SubExpr, Label, Note, Embed> { /// `∀(x : A) -> B` Pi(Label, SubExpr, SubExpr), /// `f a` - App(SubExpr, Vec<SubExpr>), + App(SubExpr, SubExpr), /// `let x = r in e` /// `let x : t = r in e` Let(Label, Option<SubExpr>, SubExpr, SubExpr), |