summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/parser.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-06 22:36:43 +0200
committerNadrieril2019-08-06 22:36:43 +0200
commit705433487da3cd3b4517fcf74b0497c76dbb4080 (patch)
tree32a55f2824cd24d90211873c5bda42a14ae4824f /dhall_syntax/src/parser.rs
parent0a1cf5554e8c06d05d24bdcdcf1eb71f0ac6d8f2 (diff)
Prepare for https://github.com/dhall-lang/dhall-lang/pull/630
Diffstat (limited to '')
-rw-r--r--dhall_syntax/src/parser.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall_syntax/src/parser.rs b/dhall_syntax/src/parser.rs
index 8355ebf..0832af3 100644
--- a/dhall_syntax/src/parser.rs
+++ b/dhall_syntax/src/parser.rs
@@ -752,7 +752,8 @@ make_parser! {
spanned(span, Merge(x, y, Some(z)))
},
[List(()), expression(x)] => {
- spanned(span, EmptyListLit(x))
+ let list = unspanned(Builtin(crate::Builtin::List));
+ spanned(span, EmptyListLit(unspanned(App(list, x))))
},
[expression(e)] => e,
));