From 32051979778436ea02cb406551f126fe22ea1636 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 9 May 2019 16:53:48 +0200
Subject: ExprF need not be generic in Label

---
 dhall_proc_macros/src/quote.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'dhall_proc_macros')

diff --git a/dhall_proc_macros/src/quote.rs b/dhall_proc_macros/src/quote.rs
index 241ef66..00bcd45 100644
--- a/dhall_proc_macros/src/quote.rs
+++ b/dhall_proc_macros/src/quote.rs
@@ -24,9 +24,9 @@ pub fn subexpr(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
     output.into()
 }
 
-// Returns an expression of type ExprF<T, _, _>, where T is the
+// Returns an expression of type ExprF<T, _>, where T is the
 // type of the subexpressions after interpolation.
-pub fn quote_exprf<TS>(expr: ExprF<TS, Label, X>) -> TokenStream
+pub fn quote_exprf<TS>(expr: ExprF<TS, X>) -> TokenStream
 where
     TS: quote::ToTokens + std::fmt::Debug,
 {
@@ -102,7 +102,6 @@ fn quote_subexpr<N>(
         |e| quote_subexpr(e, ctx),
         |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())),
         |_| unreachable!(),
-        Label::clone,
     ) {
         Var(V(ref s, n)) => {
             match ctx.lookup(s, n) {
@@ -136,7 +135,6 @@ fn quote_expr<N>(expr: &Expr<N, X>, ctx: &Context<Label, ()>) -> TokenStream {
         |e| quote_subexpr(e, ctx),
         |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())),
         |_| unreachable!(),
-        Label::clone,
     ) {
         Var(V(ref s, n)) => {
             match ctx.lookup(s, n) {
-- 
cgit v1.2.3