diff options
| author | Nadrieril | 2019-11-11 13:36:30 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:37 +0000 |
| commit | d28d114552e6c6cb913dce48893fa87e87bf11e2 (patch) | |
| tree | 94965fc87a814de636705944b5a6f143855235b4 /dhall_syntax | |
| parent | 575adf9a7a87ba5d75548f7cd4efdec53c1fe17c (diff) | |
Propagate more spans
Diffstat (limited to 'dhall_syntax')
| -rw-r--r-- | dhall_syntax/src/core/span.rs | 3 |
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 { |