diff options
author | Nadrieril | 2020-11-02 04:06:05 +0000 |
---|---|---|
committer | Nadrieril | 2020-11-03 23:18:58 +0000 |
commit | 85d946016d67515aa70fa01338512e3fd7df408e (patch) | |
tree | caebbfed831184bdf443d0b0f28dd38eea26354e /dhall/src/semantics/tck/tir.rs | |
parent | 9e8ae42b2742e27a70a7fb8ea79ae21060d43fc1 (diff) |
Typecheck `with` using mutation
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/tck/tir.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/semantics/tck/tir.rs b/dhall/src/semantics/tck/tir.rs index ec15a1f..f34802c 100644 --- a/dhall/src/semantics/tck/tir.rs +++ b/dhall/src/semantics/tck/tir.rs @@ -117,6 +117,9 @@ impl<'hir> Tir<'hir> { pub fn ty(&self) -> &Type { &self.ty } + pub fn into_ty(self) -> Type { + self.ty + } pub fn to_hir(&self) -> Hir { self.as_hir().clone() |