From d28d114552e6c6cb913dce48893fa87e87bf11e2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 13:36:30 +0000
Subject: Propagate more spans

---
 dhall_syntax/src/core/span.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dhall_syntax')

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 {
-- 
cgit v1.2.3