summaryrefslogtreecommitdiff
path: root/dhall/src/core
diff options
context:
space:
mode:
authorNadrieril2019-11-11 13:49:47 +0000
committerNadrieril2019-11-11 13:55:48 +0000
commitc9c248a4cab21fa1ae7692cd193e3b2c698d431d (patch)
tree186a0dd0598d53334bf46fb81280248edbbb7ded /dhall/src/core
parent207d10c4b7d838d712b135dca56bc31f3fe5b648 (diff)
Add a few more pretty errors
Diffstat (limited to 'dhall/src/core')
-rw-r--r--dhall/src/core/value.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs
index 61c7015..d4f5131 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/core/value.rs
@@ -165,6 +165,9 @@ impl Value {
_ => None,
}
}
+ pub(crate) fn span(&self) -> Span {
+ self.as_internal().span.clone()
+ }
fn as_internal(&self) -> Ref<ValueInternal> {
self.0.borrow()