diff options
author | Nadrieril | 2020-02-13 20:56:38 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-13 20:56:38 +0000 |
commit | 350d1cf7d9c114b1334b2743071b0b99ea64c1ec (patch) | |
tree | f229aefbf52a22aacddd8a5fe5149e5c654e7f1f /dhall/src/lib.rs | |
parent | e25b67906ce68e8726e8139c1d1855f3ab2518ce (diff) |
TyExpr always carries a type
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 2f0ed4b..ad54c9f 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.get_type()?)) + Ok(Normalized(self.0.ty().clone())) } } |