summaryrefslogtreecommitdiff
path: root/dhall_syntax/src
diff options
context:
space:
mode:
authorNadrieril2019-11-11 13:36:30 +0000
committerNadrieril2019-11-11 13:50:37 +0000
commitd28d114552e6c6cb913dce48893fa87e87bf11e2 (patch)
tree94965fc87a814de636705944b5a6f143855235b4 /dhall_syntax/src
parent575adf9a7a87ba5d75548f7cd4efdec53c1fe17c (diff)
Propagate more spans
Diffstat (limited to 'dhall_syntax/src')
-rw-r--r--dhall_syntax/src/core/span.rs3
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall_syntax/src/core/span.rs b/dhall_syntax/src/core/span.rs
index e2bf26d..d10a53d 100644
--- a/dhall_syntax/src/core/span.rs
+++ b/dhall_syntax/src/core/span.rs
@@ -22,9 +22,6 @@ 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 {