diff options
author | Nadrieril | 2020-04-05 22:40:02 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-05 22:40:38 +0100 |
commit | fc965361346461fbd52bb132caa874778d9fe913 (patch) | |
tree | d48a697de0491209a8ece2eaad1011e2dcb218fd /dhall/src/semantics/resolve/hir.rs | |
parent | 251b378fd8d93ea625a739cde06675e2bbc32c2c (diff) |
Check code hashes in import
Diffstat (limited to 'dhall/src/semantics/resolve/hir.rs')
-rw-r--r-- | dhall/src/semantics/resolve/hir.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dhall/src/semantics/resolve/hir.rs b/dhall/src/semantics/resolve/hir.rs index 9256425..8869915 100644 --- a/dhall/src/semantics/resolve/hir.rs +++ b/dhall/src/semantics/resolve/hir.rs @@ -59,6 +59,10 @@ impl Hir { let opts = ToExprOptions { alpha: false }; self.to_expr(opts) } + pub fn to_expr_alpha(&self) -> Expr { + let opts = ToExprOptions { alpha: true }; + self.to_expr(opts) + } pub fn to_expr_tyenv(&self, env: &TyEnv) -> Expr { let opts = ToExprOptions { alpha: false }; let mut env = env.as_nameenv().clone(); |