[Haskell-cafe] Template Haskell question

[Finn Teegen]

I have tried the examples as well and, indeed, I get a shadowing warning
for the first example (along with an unused warning).

ghci> :set -XTemplateHaskell -Wall
ghci> let f x $([p| x |]) = x in f 1 2
warning: This binding for 'x' shadows...
warning: Defined but not used: 'x'

However, for the second example I only get the unused warning.

ghci> let f $([p| x |]) x = x in f 1 2
warning: Defined but not used: 'x'

This still seems to be a bit inconsistent (not mentioning that I would
also expect both examples to fail because of non-linear occurrences of 'x').

Cheers,
Finn

On 27/04/2021 16:28, Tom Ellis wrote:
> On Tue, Apr 27, 2021 at 04:06:27PM +0200, Kai-Oliver Prott wrote:
>> Moreover, it seems odd that the "x" on the right side always
>> refers to the rightmost pattern variable "x" (regardless if
>> quoted or not).
> 
> I guess this comes from the translation
> 
> f x x = <rhs>
> 
> ->
> 
> f = \x -> \x -> <rhs>
> 
> 
> I'm not familiar enough with TH to say whether one should expect a
> warning though.
> 
> Tom
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
>