summaryrefslogtreecommitdiff
path: root/dhall_syntax/src
diff options
context:
space:
mode:
authorNadrieril2019-11-11 11:34:29 +0000
committerNadrieril2019-11-11 13:50:36 +0000
commit5d5a356b8eb36e277c312e5550d1cb0a2f82e9fa (patch)
treebabaa2061bd48769006973ee74073f61b0ac3f5e /dhall_syntax/src
parentb68c3af578d1f6b0d1e32e7d88ef57774fb468d8 (diff)
Store a `Span` in `Value`
Diffstat (limited to 'dhall_syntax/src')
-rw-r--r--dhall_syntax/src/core/span.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall_syntax/src/core/span.rs b/dhall_syntax/src/core/span.rs
index fc8de6e..fa89c30 100644
--- a/dhall_syntax/src/core/span.rs
+++ b/dhall_syntax/src/core/span.rs
@@ -22,6 +22,9 @@ pub enum Span {
Decoded,
/// For expressions constructed during normalization/typecheck
Artificial,
+ /// For when there should be a span but it's not done yet
+ /// TODO: properly handle spans
+ PlaceHolder,
}
impl Span {