diff options
| author | Nadrieril | 2020-02-02 17:22:27 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-02 17:22:27 +0000 |
| commit | d8c3ced0f1acb1924c801fadbfd3077dede9b0dd (patch) | |
| tree | 1884b1c33faf2c104c6b71ea8a6fd2472826da48 /dhall/src/semantics/nze | |
| parent | 92bbea48f9a0380a614f2687c73d55a67ff9294e (diff) | |
More errors
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/nze/value.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/semantics/nze/value.rs b/dhall/src/semantics/nze/value.rs index bb3e3c0..d97b8c4 100644 --- a/dhall/src/semantics/nze/value.rs +++ b/dhall/src/semantics/nze/value.rs @@ -174,6 +174,9 @@ impl Value { _ => None, } } + pub(crate) fn span(&self) -> Span { + self.0.span.clone() + } /// This is what you want if you want to pattern-match on the value. /// WARNING: drop this ref before normalizing the same value or you will run into BorrowMut |