diff options
author | Nadrieril | 2020-04-06 11:48:28 +0100 |
---|---|---|
committer | GitHub | 2020-04-06 11:48:28 +0100 |
commit | d35cb130d80d628807a4247ddf84a8d0230c87ab (patch) | |
tree | b99dadebeab8094c129cc5d872cfd561f9aa78f3 /dhall/src/semantics/resolve/hir.rs | |
parent | 4290615769fc26c5e4b70843e7fbfddf6359af41 (diff) | |
parent | 12b81d55e1343fc30138d1a13cd48fa2e05744df (diff) |
Merge pull request #158 from Nadrieril/hash
Implement semantic hashing (but no caching yet)
Diffstat (limited to '')
-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(); |