From c3ed75dc4b354becac0821e4288105dc2a300c4c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 10 Feb 2020 19:14:07 +0000
Subject: Remove need for Embed

This was an archaic leftover from copying the Haskell datatypes anyway
---
 dhall/src/semantics/hir.rs | 1 +
 1 file changed, 1 insertion(+)

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

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>),
-- 
cgit v1.2.3