summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
authorNadrieril2019-04-20 23:12:25 +0200
committerNadrieril2019-04-20 23:12:25 +0200
commit83bc67d4572fe7961842f915d5559ee489e13dfd (patch)
treed6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /dhall_generated_parser/src
parent5812a53cc9241703bd35586da0036dc170ab3721 (diff)
An empty optional value is purely semantic
Diffstat (limited to 'dhall_generated_parser/src')
0 files changed, 0 insertions, 0 deletions