diff options
| author | Nadrieril | 2019-05-09 16:53:48 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-09 16:53:48 +0200 |
| commit | 32051979778436ea02cb406551f126fe22ea1636 (patch) | |
| tree | bf2610cfc94b39e941a505946d50669b9674789c /dhall_proc_macros | |
| parent | 7538e29275720407ac172bb05cdbc028d95ff921 (diff) | |
ExprF need not be generic in Label
Diffstat (limited to '')
| -rw-r--r-- | dhall_proc_macros/src/quote.rs | 6 |
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) { |