diff options
author | Nadrieril | 2020-02-15 19:44:40 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-15 19:59:52 +0000 |
commit | aa867b21f57f9bef2ec2b9d8450736f9111189ee (patch) | |
tree | eab9042a53ceed53abd7982a83fd4d76cd869572 /dhall/src/lib.rs | |
parent | 5057144ed99bc4e1a76a0840dd39fc1bd862665c (diff) |
Introduce proper Type struct
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index ad54c9f..144cac5 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -120,7 +120,7 @@ impl Typed { } pub(crate) fn get_type(&self) -> Result<Normalized, TypeError> { - Ok(Normalized(self.0.ty().clone())) + Ok(Normalized(self.0.ty().clone().into_value())) } } |