diff options
author | Nadrieril | 2019-08-16 19:16:40 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 19:16:40 +0200 |
commit | 45fb07f74f19919f742be6fe7793dc72d4022f26 (patch) | |
tree | fffab6fdb5b59e6e32eec60b3c4adfa5835e4778 /dhall/src/phase/mod.rs | |
parent | fcc9afb3624883c4f99320c37678b7f9d338630d (diff) |
Try to minimize untyped TypedThunks
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/mod.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index 5a6d4db..adf749c 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -101,12 +101,15 @@ impl Typed { pub(crate) fn from_const(c: Const) -> Self { Typed(TypedThunk::from_const(c)) } - pub fn from_value_untyped(v: Value) -> Self { - Typed(TypedThunk::from_value_untyped(v)) + pub fn from_value_and_type(v: Value, t: Type) -> Self { + Typed(TypedThunk::from_value_and_type(v, t)) } pub(crate) fn from_typethunk(th: TypedThunk) -> Self { Typed(th) } + pub fn const_type() -> Self { + Typed::from_const(Const::Type) + } pub(crate) fn to_value(&self) -> Value { self.0.to_value() |