diff options
author | Nadrieril | 2020-01-29 18:48:19 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 19:11:48 +0000 |
commit | 1e466a20533d936f44430b1bc18508cd00e5ccd2 (patch) | |
tree | 20c025af6ed539a600ec8db9e1339c9c4e7c9112 /dhall/src/semantics/core | |
parent | f88880004c7dcf5e67c4d5e2330e6e879523f27b (diff) |
Use TyExpr in Typed
Diffstat (limited to 'dhall/src/semantics/core')
-rw-r--r-- | dhall/src/semantics/core/value.rs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs index 3dcbd38..aa819d2 100644 --- a/dhall/src/semantics/core/value.rs +++ b/dhall/src/semantics/core/value.rs @@ -9,9 +9,7 @@ use crate::semantics::phase::normalize::{apply_any, normalize_whnf, NzEnv}; use crate::semantics::phase::typecheck::{ builtin_to_value, builtin_to_value_env, const_to_value, }; -use crate::semantics::phase::{ - Normalized, NormalizedExpr, ToExprOptions, Typed, -}; +use crate::semantics::phase::{Normalized, NormalizedExpr, ToExprOptions}; use crate::semantics::{TyExpr, TyExprKind}; use crate::syntax::{ BinOp, Builtin, Const, ExprKind, Integer, InterpolatedTextContents, Label, @@ -207,9 +205,6 @@ impl Value { self.check_type(ty); self.to_whnf_ignore_type() } - pub(crate) fn into_typed(self) -> Typed { - Typed::from_value(self) - } /// Mutates the contents. If no one else shares this, this avoids a RefCell lock. fn mutate_internal(&mut self, f: impl FnOnce(&mut ValueInternal)) { |