summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast
diff options
context:
space:
mode:
authorNadrieril2020-03-10 16:34:59 +0000
committerNadrieril2020-03-10 16:35:53 +0000
commit0169e9347ec7ffcf86066e1e5753ce5f77e71bc7 (patch)
tree7d179c9300d7c46a1251bb0e819157107528e316 /dhall/src/syntax/ast
parent3f9194f47185fe30c9e410aa7c5e651df9694b3f (diff)
Add support for `with` keyword
Diffstat (limited to 'dhall/src/syntax/ast')
-rw-r--r--dhall/src/syntax/ast/span.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/syntax/ast/span.rs b/dhall/src/syntax/ast/span.rs
index 7c004c5..50985e1 100644
--- a/dhall/src/syntax/ast/span.rs
+++ b/dhall/src/syntax/ast/span.rs
@@ -21,6 +21,7 @@ pub(crate) enum Span {
/// Desugarings
DuplicateRecordFieldsSugar,
DottedFieldSugar,
+ WithSugar,
/// For expressions obtained from decoding binary
Decoded,
/// For expressions constructed during normalization/typecheck