From 1b1c34b90bb4bf3859b05b1da6db2dcb374996bb Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 14:58:18 +0200 Subject: Move `Note`s into the spine of the AST --- dhall_proc_macros/src/quote.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'dhall_proc_macros/src') diff --git a/dhall_proc_macros/src/quote.rs b/dhall_proc_macros/src/quote.rs index c2323fa..e11bbaa 100644 --- a/dhall_proc_macros/src/quote.rs +++ b/dhall_proc_macros/src/quote.rs @@ -27,7 +27,7 @@ pub fn subexpr(input: proc_macro::TokenStream) -> proc_macro::TokenStream { // Returns an expression of type ExprF, where T is the // type of the subexpressions after interpolation. -pub fn quote_exprf(expr: ExprF) -> TokenStream +pub fn quote_exprf(expr: ExprF) -> TokenStream where TS: quote::ToTokens + std::fmt::Debug, { @@ -103,7 +103,6 @@ fn quote_subexpr( |e| quote_subexpr(e, ctx), |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())), |_| unreachable!(), - |_| unreachable!(), Label::clone, ) { Var(V(ref s, n)) => { @@ -138,7 +137,6 @@ fn quote_expr(expr: &Expr, ctx: &Context) -> TokenStream { |e| quote_subexpr(e, ctx), |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())), |_| unreachable!(), - |_| unreachable!(), Label::clone, ) { Var(V(ref s, n)) => { -- cgit v1.2.3