diff options
Diffstat (limited to 'dhall/src/core/value.rs')
| -rw-r--r-- | dhall/src/core/value.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs index 0af7c8c..5367c86 100644 --- a/dhall/src/core/value.rs +++ b/dhall/src/core/value.rs @@ -9,7 +9,7 @@ use crate::core::valuef::ValueF; use crate::core::var::{AlphaVar, Shift, Subst}; use crate::error::{TypeError, TypeMessage}; use crate::phase::normalize::{apply_any, normalize_whnf, OutputSubExpr}; -use crate::phase::typecheck::type_of_const; +use crate::phase::typecheck::const_to_value; use crate::phase::{NormalizedSubExpr, Typed}; #[derive(Debug, Clone, Copy)] @@ -110,10 +110,7 @@ impl Value { Value::from_valuef_and_type(v, Value::from_const(Const::Type)) } pub(crate) fn from_const(c: Const) -> Self { - match type_of_const(c) { - Ok(t) => Value::from_valuef_and_type(ValueF::Const(c), t), - Err(_) => Value::from_valuef_untyped(ValueF::Const(c)), - } + const_to_value(c) } pub fn const_type() -> Self { Value::from_const(Const::Type) |