summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs
diff options
context:
space:
mode:
authorNadrieril2019-05-04 16:50:38 +0200
committerNadrieril2019-05-04 16:50:38 +0200
commit0e5c93c398645d39fceb98d054f1a7e67025b4fd (patch)
treec5a093c8d9a05cb50e83966fe4923c134f5c3515 /dhall/src/expr.rs
parent408bba76bd95a2aabd49046443950a37771f6008 (diff)
Keep Spans through normalization and typechecking
Diffstat (limited to '')
-rw-r--r--dhall/src/expr.rs7
1 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index db426ce..5bde68f 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -204,16 +204,15 @@ impl Normalized {
pub(crate) fn from_thunk_and_type(th: Thunk, t: Type) -> Self {
Normalized(TypedInternal::from_thunk_and_type(th, t))
}
- // Deprecated
- pub(crate) fn as_expr(&self) -> SubExpr<X, X> {
- self.0.to_expr()
- }
pub(crate) fn to_expr(&self) -> SubExpr<X, X> {
self.0.to_expr()
}
pub(crate) fn to_value(&self) -> Value {
self.0.to_value()
}
+ pub(crate) fn to_thunk(&self) -> Thunk {
+ self.0.to_thunk()
+ }
#[allow(dead_code)]
pub(crate) fn unnote(self) -> Normalized {
Normalized(self.0)