From 81ce30dde067ca0067fda32b1e0ade1dbdfbdf58 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 29 Feb 2020 23:21:18 +0000
Subject: Implement `as Location` imports

---
 dhall/src/semantics/resolve/hir.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dhall/src/semantics/resolve/hir.rs')

diff --git a/dhall/src/semantics/resolve/hir.rs b/dhall/src/semantics/resolve/hir.rs
index 2f3464a..317708a 100644
--- a/dhall/src/semantics/resolve/hir.rs
+++ b/dhall/src/semantics/resolve/hir.rs
@@ -72,6 +72,9 @@ impl Hir {
     ) -> Result<Tir<'hir>, TypeError> {
         type_with(env, self, None)
     }
+    pub fn typecheck_noenv<'hir>(&'hir self) -> Result<Tir<'hir>, TypeError> {
+        self.typecheck(&TyEnv::new())
+    }
 
     /// Eval the Hir. It will actually get evaluated only as needed on demand.
     pub fn eval(&self, env: impl Into<NzEnv>) -> Nir {
-- 
cgit v1.2.3