summaryrefslogtreecommitdiff
path: root/dhall/src/core/thunk.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-08 23:09:37 +0200
committerNadrieril2019-08-10 23:15:47 +0200
commitd3f54e5536cc4d2ba46b6e4e88b7218da1b797ee (patch)
tree6f8e826b21983a897e5bc89ab0e3b060c5dc7b61 /dhall/src/core/thunk.rs
parent5e790ea6bafcf6c77165bdd580814783991acb7f (diff)
Remove dhall::expr!() macro
It's a lot of hassle for not a lot of benefit
Diffstat (limited to 'dhall/src/core/thunk.rs')
-rw-r--r--dhall/src/core/thunk.rs4
1 files changed, 0 insertions, 4 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 5bc25f2..f41579c 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -111,10 +111,6 @@ impl Thunk {
ThunkInternal::Value(WHNF, v).into_thunk()
}
- pub fn from_normalized_expr(e: OutputSubExpr) -> Thunk {
- Thunk::new(NormalizationContext::new(), e.absurd())
- }
-
pub fn from_partial_expr(e: ExprF<Thunk, X>) -> Thunk {
ThunkInternal::PartialExpr(e).into_thunk()
}