diff options
| author | Nadrieril | 2019-11-11 11:34:29 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:36 +0000 |
| commit | 5d5a356b8eb36e277c312e5550d1cb0a2f82e9fa (patch) | |
| tree | babaa2061bd48769006973ee74073f61b0ac3f5e /dhall_syntax/src | |
| parent | b68c3af578d1f6b0d1e32e7d88ef57774fb468d8 (diff) | |
Store a `Span` in `Value`
Diffstat (limited to 'dhall_syntax/src')
| -rw-r--r-- | dhall_syntax/src/core/span.rs | 3 |
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 { |