summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/ast
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-10 18:00:23 +0000
committerGitHub2020-03-10 18:00:23 +0000
commit98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (patch)
tree7d179c9300d7c46a1251bb0e819157107528e316 /dhall/src/syntax/ast
parent3f9194f47185fe30c9e410aa7c5e651df9694b3f (diff)
parent0169e9347ec7ffcf86066e1e5753ce5f77e71bc7 (diff)
Merge pull request #141 from Nadrieril/with
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