summaryrefslogtreecommitdiff
path: root/dhall_core/src/parser.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-20 23:12:25 +0200
committerNadrieril2019-04-20 23:12:25 +0200
commit83bc67d4572fe7961842f915d5559ee489e13dfd (patch)
treed6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /dhall_core/src/parser.rs
parent5812a53cc9241703bd35586da0036dc170ab3721 (diff)
An empty optional value is purely semantic
Diffstat (limited to '')
-rw-r--r--dhall_core/src/parser.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs
index 31249a9..ba15bae 100644
--- a/dhall_core/src/parser.rs
+++ b/dhall_core/src/parser.rs
@@ -754,7 +754,7 @@ make_parser! {
children!(
[expression(e)] => e,
[Some_(()), expression(e)] => {
- spanned(span, NEOptionalLit(rc(e)))
+ spanned(span, SomeLit(rc(e)))
},
[merge(()), expression(x), expression(y)] => {
spanned(span, Merge(rc(x), rc(y), None))