diff options
author | Nadrieril | 2020-02-10 19:14:07 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-10 19:14:07 +0000 |
commit | c3ed75dc4b354becac0821e4288105dc2a300c4c (patch) | |
tree | b85acbcfe0bdd0591cfc197de6bd68d9482801a6 /dhall/src/semantics/hir.rs | |
parent | 35cc98dc767247f4881866de40c7d8dd82eba8a5 (diff) |
Remove need for Embed
This was an archaic leftover from copying the Haskell datatypes anyway
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/hir.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/semantics/hir.rs b/dhall/src/semantics/hir.rs index 9ad7374..b45851f 100644 --- a/dhall/src/semantics/hir.rs +++ b/dhall/src/semantics/hir.rs @@ -11,6 +11,7 @@ pub struct AlphaVar { #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub(crate) enum HirKind { + /// A resolved variable (i.e. a DeBruijn index) Var(AlphaVar), // Forbidden ExprKind variants: Var, Import, Embed Expr(ExprKind<Hir, Normalized>), |