summaryrefslogtreecommitdiff
path: root/dhall_proc_macros/src
diff options
context:
space:
mode:
authorNadrieril2019-05-09 16:53:48 +0200
committerNadrieril2019-05-09 16:53:48 +0200
commit32051979778436ea02cb406551f126fe22ea1636 (patch)
treebf2610cfc94b39e941a505946d50669b9674789c /dhall_proc_macros/src
parent7538e29275720407ac172bb05cdbc028d95ff921 (diff)
ExprF need not be generic in Label
Diffstat (limited to 'dhall_proc_macros/src')
-rw-r--r--dhall_proc_macros/src/quote.rs6
1 files changed, 2 insertions, 4 deletions
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) {