diff options
| author | Nadrieril | 2019-04-20 23:13:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 23:13:15 +0200 |
| commit | b31690a87e2963d4093210a2c58735a2095e651d (patch) | |
| tree | d6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /dhall/src/expr.rs | |
| parent | 9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff) | |
| parent | 83bc67d4572fe7961842f915d5559ee489e13dfd (diff) | |
Merge branch 'whnf'
Massive normalization rewrite, for greatly improved flexibility
and performance.
Closes #84
Diffstat (limited to 'dhall/src/expr.rs')
| -rw-r--r-- | dhall/src/expr.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index 5885359..bb1a4e4 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -107,9 +107,6 @@ impl<'a> Typed<'a> { pub(crate) fn as_expr(&self) -> &SubExpr<X, Normalized<'a>> { &self.0 } - pub(crate) fn into_expr(self) -> SubExpr<X, Normalized<'a>> { - self.0 - } } #[doc(hidden)] |