diff options
author | Nadrieril | 2020-02-29 23:21:18 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 81ce30dde067ca0067fda32b1e0ade1dbdfbdf58 (patch) | |
tree | e8681ca7c4d4303d8dc6266cae4e32581542e0f1 /dhall/src/semantics/resolve/hir.rs | |
parent | 36fc9b140373ffacd90ab45750f97424d3808748 (diff) |
Implement `as Location` imports
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/resolve/hir.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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 { |